egraphs

There are 5 repositories under egraphs topic.

JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Language:Julia362 12 12347
philzook58/awesome-egraphs
An awesome list of e-graph resources
101 6 04
alt-romes/hegg
Fast equality saturation in Haskell
Language:Haskell77 3 228
verse-lab/ego
EGraphs in OCaml
Language:OCaml60 5 46
peterrudenko/e-graph
E-graph implementation for educational purposes
Language:C++1 3 00