Pinned Loading

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

   egraphs + datalog!

   Rust 652 82

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

   An experimental optimizing compiler for Bril using egglog

   Rust 82 16

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

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

   Rust 1.6k 181

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

   Optimize floating-point expressions for accuracy

   HTML 831 42

5. intervals-good intervals-good Public

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

   Rust 4

6. video-souls video-souls Public

   A boss-rush game that runs directly on YouTube videos.

   TypeScript 3