Robert S. Muhlestein
is a language for defining languages.
site
,
github