projedi/equality-in-type-theory
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
projedi / Agda-2.3.2.2-haskell-export
Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2
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.
#17416582GitHub System ID
projediOrganization / User
PublicVisibility
ActiveCatalog Status
More from projedi
projedi/vim-altr
Vim plugin: Switch to the missing file without interaction
projedi/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
projedi/philosophy-essay
Public repository.