xplat/Haskell-Pipes-Parse-Library
Parsing for the pipes ecosystem
Public GitHub Catalog
Discovered Sep 24, 2026
xplat / agda-tactics
Reflective proof tactics and metaprogramming for Agda.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2424213GitHub 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