Top 2 egraphs open source projects

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-2 of 2 egraphs projects