walkie/twelf-vim
Basic vim plugin for Twelf.
Public GitHub Catalog
Discovered Sep 25, 2026
walkie / CC-Coq
Coq proofs of some simple choice calculus-related theorems.
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.
#5182233GitHub System ID
walkieOrganization / User
PublicVisibility
ActiveCatalog Status
More from walkie
walkie/icfp2014
University of Marburg - ICFP Programming Contest 2014
walkie/markdown.sty
Adds a Markdown environment to LaTeX.
walkie/IdrisDemo
A brief example-based introduction to Idris.