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
A simple e-graph implementation for educational purposes
License
peterrudenko/e-graph
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A simple e-graph implementation for educational purposes