idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.
Public GitHub Catalog
Discovered Oct 2, 2026
idris-hackers / idris-java
Java Code Generator for Idris
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.
#25747292GitHub 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/IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript