cartazio/async
Run IO operations asynchronously and wait for their results
Public GitHub Catalog
Discovered Sep 25, 2026
cartazio / Idris-dev
A Dependently Typed Functional Programming Language
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.
#5433267GitHub System ID
cartazioOrganization / User
PublicVisibility
ActiveCatalog Status
More from cartazio
cartazio/HetList
HetList experimentation for the future of Overloaded List syntax
cartazio/hl
Haskell web site
cartazio/hopenRTB
haskell openrtb server, meant for building a bidder / exchange