Algebraic Metaprogramming in Julia with Metatheory.jl
github.com