pcapriotti/agda-categories
Category theory and algebra
Developer Profile
pcapriotti
Discovered public repositories for pcapriotti in the GitHub catalog.
pcapriotti/hott-exercises
Solutions of the exercises of the HoTT book
pcapriotti/agda-base
Base library for HoTT in Agda
pcapriotti/optparse-applicative
Applicative option parser
pcapriotti/pipes-zlib
Pipes to deal with zipped data
pcapriotti/pipes-network
Pipe utilities to deal with sockets.
pcapriotti/pipes-conduit
Conduit adapters for pipes
pcapriotti/pipes-attoparsec
Utilities to convert a parser into a pipe
pcapriotti/pipes-extra
Pipe utilities
pcapriotti/pipes-core
Compositional pipelines
pcapriotti/dbus-qq
Haskell quasi-quoter for DBus functions
pcapriotti/pledger
Command line accounting tool and python library
pcapriotti/rui
GUI abstraction library for ruby
pcapriotti/kaya
KDE Board Game Suite
pcapriotti/skema
Command line template expansion tool
pcapriotti/github-trac
Trac plugin for github integration