wraithm/ermine
The Ermine Programming Language - Join us on irc.freenode.net #ermine
Public GitHub Catalog
Discovered Oct 1, 2026
wraithm / Idris-dev
A Dependently Typed Functional Programming Language
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#22134488GitHub System ID
wraithmOrganization / User
PublicVisibility
ActiveCatalog Status
More from wraithm
wraithm/groundhog
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial http://www.fpcomplete.com/user/lykahb/groundhog for introduction
wraithm/stripe-simple
Haskell bindings to the stripe API using http-streams
wraithm/dotfiles
Public repository.