minad/pi-forall
A demo implementation of a simple dependently-typed language
Public GitHub Catalog
Discovered Oct 31, 2026
minad / cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
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.
#44169055GitHub System ID
minadOrganization / User
PublicVisibility
ActiveCatalog Status
More from minad
minad/bibtex-ruby
Public repository.
minad/megaparsec
Industrial-strength monadic parser combinator library
minad/henk
pure type system language - henk 2000 ported to megaparsec, pretty