xplat/Haskell-Pipes-Parse-Library
Parsing for the pipes ecosystem
Developer Profile
xplat
Discovered public repositories for xplat in the GitHub catalog.
xplat/tinymisc
miscellaneous stuff related to TinyAgda
xplat/xtraverse
Haskell XML Toolbox
xplat/potpourri
things too small to be separate projects
xplat/tubular
stream your IO through a series of tubes
xplat/derpa
A dependently typed model of the repa (herpa?) library in Agda
xplat/agda-tactics
Reflective proof tactics and metaprogramming for Agda.
xplat/categories
Categories parametrized by morphism equality, in Agda
xplat/Openpit
Explore a land of blocks!