GitHub repository: whitequark/Sublime-Coq
Primary language: Python
Description: Coq programming language support for Sublime Text