srenault/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 1, 2026
srenault / mobile
Mobile app: Clock + Camera
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.
#21254691GitHub System ID
srenaultOrganization / User
PublicVisibility
ActiveCatalog Status
More from srenault
srenault/vindinium-starter-idris
Public repository.
srenault/hack-plain-starter
Public repository.
srenault/javascript-worldchanger
Public repository.