Popular repositories Loading

1. egglog egglog Public

   Forked from egraphs-good/egglog

   egraphs + datalog!

   Rust

2. egglog-encoding egglog-encoding Public

   Forked from saulshanabrook/egglog-encoding

   Encoding project for egglog - separate repo for easier iteration

   Rust

3. eggcc eggcc Public

   Forked from egraphs-good/eggcc

   An experimental optimizing compiler for Bril using egglog

   Rust

4. herbie herbie Public

   Forked from herbie-fp/herbie

   Optimize floating-point expressions for accuracy

   HTML

5. egglog-experimental egglog-experimental Public

   Forked from egraphs-good/egglog-experimental

   Unstable egglog standard library.

   Rust