Pinned Loading

1. egraphs-good/egglog egraphs-good/egglog Public

   egraphs + datalog!

   Rust 410 46

2. egraphs-good/eggcc egraphs-good/eggcc Public

   Rust 41 8

3. egraphs-good/egg egraphs-good/egg Public

   egg is a flexible, high-performance e-graph library

   Rust 1.3k 129

4. herbie-fp/herbie herbie-fp/herbie Public

   Optimize floating-point expressions for accuracy

   HTML 760 32

5. intervals-good intervals-good Public

   A rust interval arithmetic library which provides flags that detect domain errors.

   Rust 4

6. bearlydancing bearlydancing Public

   A rhythm rpg with randomly generated beatmaps.

   Python 6 2