GitHub repository: EliasC/Trieste
Primary language: C++
Description: A term rewriting system for experimental programming language development.