Pinned Loading

1. egg egg Public

   Forked from egraphs-good/egg

   egraphs in rust

   Rust 2

2. home-automation-verification home-automation-verification Public

   Java

3. tamago tamago Public

   Forked from uwplse/tensat

   Re-implementation of the TASO compiler using equality saturation

   Rust

4. egraphs-good/egg egraphs-good/egg Public

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

   Rust 1.6k 180

5. uwplse/szalinski uwplse/szalinski Public

   Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

   OpenSCAD 54 5

6. uwplse/reincarnate-aec uwplse/reincarnate-aec Public

   Reincarnate Artifact for ICFP 2018

   JavaScript 13 2