slotted-egraphs
| Crates.io | slotted-egraphs |
| lib.rs | slotted-egraphs |
| version | 0.0.36 |
| created_at | 2024-09-20 12:27:32.599727+00 |
| updated_at | 2025-09-11 16:32:14.554405+00 |
| description | E-Graphs with name binding |
| homepage | |
| repository | https://github.com/memoryleak47/slotted-egraphs/ |
| max_upload_size | |
| id | 1381192 |
| size | 282,853 |
Rudi Schneider (memoryleak47)
documentation
README
Slotted E-Graphs
In this repository we've implemented slotted e-graphs.
For a higher level introduction to slotted e-graphs, consider the PLDI (2025) talk or paper,
or alternatively the PLDI (2024) workshop talk or paper.
For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.
For documentation, see here.