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