idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.
Public GitHub Catalog
Discovered Oct 5, 2026
idris-hackers / idrispkgs
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
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.
#29818733GitHub System ID
idris-hackersOrganization / User
PublicVisibility
ActiveCatalog Status
More from idris-hackers
idris-hackers/idris-posix
System POSIX bindings for Idris.
idris-hackers/idris-java
Java Code Generator for Idris
idris-hackers/IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript