Modal

A term-rewriting methodology. Think of it as the minimally specified high-level programming language.

I'm currently using a patched version of modal: modal.c

Links