wraithm/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 28, 2026
wraithm / gitignore
A collection of useful .gitignore templates
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.
#12852457GitHub System ID
wraithmOrganization / User
PublicVisibility
ActiveCatalog Status
More from wraithm
wraithm/ermine
The Ermine Programming Language - Join us on irc.freenode.net #ermine
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