Skip to content

E-graph implementation for educational purposes

License

Notifications You must be signed in to change notification settings

peterrudenko/e-graph

Repository files navigation

e::Graph

A naive e-graph implementation in pidgin C++, inspired by Metatheory.jl and egg.

Aims for simplicity, readability and hackability. Developed for the purposes of self-education and testing random ideas, probably do not use it in production.