ertes/pipes-bytestring
Bytestring stream handling for pipes
Public GitHub Catalog
Discovered Sep 27, 2026
ertes / 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.
#8932569GitHub System ID
ertesOrganization / User
PublicVisibility
ActiveCatalog Status
More from ertes
ertes/instinct
Fast artificial neural networks in Haskell.
ertes/fastirc
Fast IRC protocol implementation
ertes/continue
The ContinueT monad transformer allows multi-suspension and reentry at multiple points.