Updated 6 months ago
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Updated 5 months ago
https://github.com/chakravala/reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra