metadsl's repositories
python-code-data
Translate Python's bytecode to data and back again...
pldi-2023-egraphs
Proposal for e-graphs workshop at PLDI 2023
MIT000
snake-egg
Python bindings for egg
Language:RustMIT000
Translate Python's bytecode to data and back again...
Proposal for e-graphs workshop at PLDI 2023
Python bindings for egg