edwinb/ConcIO
Concurrent IO language with Uniqueness Types
Public GitHub Catalog
Discovered Oct 6, 2026
edwinb / idris-php
Yes, really...
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.
#31625890GitHub System ID
edwinbOrganization / User
PublicVisibility
ActiveCatalog Status
More from edwinb
edwinb/Eff-dev
Development version of effects library for Idris
edwinb/Idris-dev
A Dependently Typed Functional Programming Language
edwinb/RingIdris
Ring solver for Idris