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