All Categories → No Category → equality-saturation

Top 3 equality-saturation open source projects

A language-generic implementation of equality saturation in Haskell

✭ 15

haskell TeX compiler optimization theorem-prover equality-saturation term-indexing

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

✭ 266

julia TeX rust optimization symbolic symbolic-manipulation symbolic-computation compiler-optimization term-rewriting compiler-construction equality-saturation egraphs

ego

EGraphs in OCaml

✭ 45

ocaml equality-saturation egraphs

1-3 of 3 equality-saturation projects