walkie/twelf-vim
Basic vim plugin for Twelf.
Public GitHub Catalog
Discovered Oct 16, 2026
walkie / haskell-vim
Custom Haskell Vimscripts
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.
#39183073GitHub 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.