Pinned

1. uwplse/tensat Public

   Re-implementation of the TASO compiler using equality saturation

   Rust 81 13

2. egraphs-good/egg Public

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

   Rust 838 86

3. wormhole-optimization/warp Public

   Rust 2

4. vmware/differential-datalog Public

   DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

   Java 1.2k 110

5. Genetic-Strictness/Autobahn Public

   Haskell 18 3

6. haskell-thunk-leak-zoo Public

   Haskell