GitHub repository: ohvu/docs
Primary language: Python
Description: The documentation and informal specification of the Calipto programming language