walkie/twelf-vim
Basic vim plugin for Twelf.
Public GitHub Catalog
Discovered Sep 25, 2026
walkie / CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.
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.
#4332923GitHub 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.