xplat/Haskell-Pipes-Parse-Library
Parsing for the pipes ecosystem
Public GitHub Catalog
Discovered Sep 24, 2026
xplat / categories
Categories parametrized by morphism equality, in Agda
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.
#1541750GitHub System ID
xplatOrganization / User
PublicVisibility
ActiveCatalog Status
More from xplat
xplat/tinymisc
miscellaneous stuff related to TinyAgda
xplat/xtraverse
Haskell XML Toolbox
xplat/potpourri
things too small to be separate projects