puffnfresh/idris-workshop
Small collection of Idris exercises
Public GitHub Catalog
Discovered Sep 24, 2026
puffnfresh / cloud9-userscript
Extend the Cloud9 editor with a client-side script.
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.
#2322875GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/heroku-buildpack-ghc
Deploy Haskell apps to Heroku
puffnfresh/tryidris
Try Idris
puffnfresh/ghc-mod
Happy Haskell programming for editors