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

Download history 135/week @ 2024-09-20 25/week @ 2024-09-27 245/week @ 2024-10-04 724/week @ 2024-10-11 774/week @ 2024-10-18 633/week @ 2024-10-25 626/week @ 2024-11-01 163/week @ 2024-11-08 146/week @ 2024-11-15

1,675 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.7MB
~32K SLoC