There are no reviews yet. Be the first to send feedback to the community and the maintainers!
optparse-applicative
Applicative option parseragda-base
Base library for HoTT in Agdaagda-categories
Category theory and algebrahott-exercises
Solutions of the exercises of the HoTT bookgithub-trac
Trac plugin for github integrationpipes-core
Compositional pipelinespledger
Command line accounting tool and python librarykaya
KDE Board Game Suitepipes-extra
Pipe utilitiesrui
GUI abstraction library for rubyskema
Command line template expansion toolqr
QR encoder librarypipes-network
Pipe utilities to deal with sockets.pipes-attoparsec
Utilities to convert a parser into a pipepipes-zlib
Pipes to deal with zipped datascheme
Toy scheme compilerpipes-conduit
Conduit adapters for pipeshikki
Minimalistic Note-taking Tooldbus-qq
Haskell quasi-quoter for DBus functionsLove Open Source and this site? Check out how you can help us