32 releases
new 0.0.32 | Nov 22, 2024 |
---|---|
0.0.31 | Nov 22, 2024 |
0.0.21 | Oct 31, 2024 |
0.0.1 | Sep 20, 2024 |
#223 in Programming languages
1,675 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.7MB
~32K SLoC