published Published 6 months ago
MARTINI: The Little Match and Replace Tool for Automatic Code Rewriting
C++ JavaScript Python
published Published almost 2 years ago
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Julia
published Published about 4 years ago