yanok/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Public GitHub Catalog
Discovered Oct 2, 2026
yanok / agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
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.
#24150416GitHub System ID
yanokOrganization / User
PublicVisibility
ActiveCatalog Status
More from yanok
yanok/ghc-mod
Happy Haskell programming for editors
yanok/lang-experiments
Public repository.
yanok/agda-tactics
Reflective proof tactics and metaprogramming for Agda.