idris-hackers/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
Public GitHub Catalog
Discovered Sep 29, 2026
idris-hackers / usb
libusb binding for idris and Effectful USB programming
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.
#14521658GitHub System ID
idris-hackersOrganization / User
PublicVisibility
ActiveCatalog Status
More from idris-hackers
idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.
idris-hackers/idris-posix
System POSIX bindings for Idris.
idris-hackers/idrispkgs
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!