Pinned Loading

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

   egraphs + datalog!

   Rust 471 55

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

   Rust 54 12

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

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

   Rust 1.4k 139

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

   Optimize floating-point expressions for accuracy

   HTML 775 34

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