A term rewriting system for experimental programming language development. - View it on GitHub