Popular repositories Loading

1. nonground-eqsat nonground-eqsat Public

   An implementation of equality saturation able to handle non-ground terms!

   Rust 1

2. Titloz Titloz Public

3. shine shine Public

   Forked from rise-lang/shine

   The Shine compiler for the RISE language

   Scala

4. elevate elevate Public

   Forked from elevate-lang/elevate

   The implementation of the Elevate language

   Scala

5. caviar-experiment-kbe caviar-experiment-kbe Public

   The caviar experiment with randomly generated terms

   Python

6. CCX-in-slotted-egraphs CCX-in-slotted-egraphs Public

   Forked from memoryleak47/slotted-egraphs

   Rust