egraphs topic
List
egraphs repositories
trafficstars
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
86
Stars
4
Forks
Watchers
An awesome list of e-graph resources