k-framework is a grammar language created in 2013.
git clone https://github.com/runtimeverification/k
K Framework Tools 7.0