Basics of Equality Saturation
(egglog-python.readthedocs.io)
Stories by saulshanabrook
Custom Data Structures in E-Graphs
(uwplse.org)
The Promise of P-Graphs
(pavpanchekha.com)
Numba v2 Compiler Design
(numba.pydata.org)
egglog in Python
(egg-smol-python.readthedocs.io)
Html presentation: https://egg-smol-python.readthedocs.io/en/latest/pldi_2023_presentation.slides.html#/
Arxiv paper: https://arxiv.org/abs/2305.04311
Source: https://github.com/metadsl/egglog-python
metadsl: A Framework for Domain Specific Languages in Python
(labs.quansight.org)
Original Congruence Closure Paper in Python with Egglog
(egglog-python.readthedocs.io)