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