projedi/vim-altr
Vim plugin: Switch to the missing file without interaction
Public GitHub Catalog
Discovered Sep 28, 2026
projedi / type-inference-rank2
Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F. Link to the original paper http://www.macs.hw.ac.uk/~jbw/papers/#Kfo+Wel:LFP-1994
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.
#11839890GitHub System ID
projediOrganization / User
PublicVisibility
ActiveCatalog Status
More from projedi
projedi/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
projedi/philosophy-essay
Public repository.
projedi/deprecated-blog
Legacy hakyll-powered blog. Moved to https://github.com/projedi/projedi.github.io