34 releases
new 0.0.34 | Nov 25, 2024 |
---|---|
0.0.33 | Nov 25, 2024 |
0.0.21 | Oct 31, 2024 |
0.0.1 | Sep 20, 2024 |
#226 in Programming languages
2,066 downloads per month
170KB
4K
SLoC
Slotted E-Graphs
In this repository we've implemented slotted e-graphs.
For a higher level introduction to slotted e-graphs, consider
For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.
For documentation, see here.
lib.rs
:
Slotted e-graphs are a datastructure for representing congruence relations over terms with variables and binders.
For a higher level introduction to slotted e-graphs, consider
For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.
Dependencies
~1–1.8MB
~32K SLoC