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