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

Download history 115/week @ 2024-09-16 27/week @ 2024-09-23 196/week @ 2024-09-30 264/week @ 2024-10-07 880/week @ 2024-10-14 510/week @ 2024-10-21 768/week @ 2024-10-28 537/week @ 2024-11-04 32/week @ 2024-11-11 710/week @ 2024-11-18

2,066 downloads per month

Apache-2.0 OR MIT

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