projedi/vim-altr
Vim plugin: Switch to the missing file without interaction
Public GitHub Catalog
Discovered Sep 30, 2026
projedi / masters-thesis
Experiment on exporting Agda into Haskell(a la Coq extraction) - paper and presentations in Russian and theory scratchpad in English
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.
#17526876GitHub 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