Calvin-L/sublime-coq-plugin
Syntax highlighting and Coq interactivity for Sublime Text 3
Public GitHub Catalog
Discovered Sep 25, 2026
Calvin-L / minilang
A tiny, surprisingly turing-complete language
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#3365315GitHub System ID
Calvin-LOrganization / User
PublicVisibility
ActiveCatalog Status
More from Calvin-L
Calvin-L/sjforms
A small declarative-style library for validating untrusted input in Java
Calvin-L/glowing-llama
Wireless phone communication over audio
Calvin-L/homebrew
The missing package manager for OS X.