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