pachopepe/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 6, 2026
pachopepe / mfxparser
A precedence climbing mixfix parser
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.
#33506497GitHub System ID
pachopepeOrganization / User
PublicVisibility
ActiveCatalog Status
More from pachopepe
pachopepe/Calculational
The calculational package provides a syntax, similar to the one used in calculational mathematics for defining quantifiers, lists, sets, and bags. A novelty in Calculational is that such objects can be executed!
pachopepe/yesod
A RESTful Haskell web framework built on WAI.
pachopepe/Logo
Yesod logo proposal