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.
-
Notifications
You must be signed in to change notification settings - Fork 0
E-graph implementation for educational purposes
License
peterrudenko/e-graph
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
E-graph implementation for educational purposes