egraphs topic
List
egraphs repositories
Metatheory.jl
341
Stars
44
Forks
Watchers
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...
hegg
75
Stars
8
Forks
Watchers
Fast equality saturation in Haskell
awesome-egraphs
272
Stars
16
Forks
272
Watchers
An awesome list of e-graph resources