pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
WireBerlin, Germany
Pinned Repositories
agda-base
Base library for HoTT in Agda
agda-categories
Category theory and algebra
github-trac
Trac plugin for github integration
hott-exercises
Solutions of the exercises of the HoTT book
kaya
KDE Board Game Suite
optparse-applicative
Applicative option parser
pipes-core
Compositional pipelines
pledger
Command line accounting tool and python library
qr
QR encoder library
wire-server
🇪🇺 Wire back-end services
pcapriotti's Repositories
pcapriotti/optparse-applicative
Applicative option parser
pcapriotti/agda-base
Base library for HoTT in Agda
pcapriotti/agda-categories
Category theory and algebra
pcapriotti/hott-exercises
Solutions of the exercises of the HoTT book
pcapriotti/github-trac
Trac plugin for github integration
pcapriotti/pipes-core
Compositional pipelines
pcapriotti/pledger
Command line accounting tool and python library
pcapriotti/kaya
KDE Board Game Suite
pcapriotti/pipes-extra
Pipe utilities
pcapriotti/rui
GUI abstraction library for ruby
pcapriotti/qr
QR encoder library
pcapriotti/skema
Command line template expansion tool
pcapriotti/pipes-network
Pipe utilities to deal with sockets.
pcapriotti/pipes-attoparsec
Utilities to convert a parser into a pipe
pcapriotti/pipes-conduit
Conduit adapters for pipes
pcapriotti/pipes-zlib
Pipes to deal with zipped data
pcapriotti/dbus-qq
Haskell quasi-quoter for DBus functions
pcapriotti/iron
A 2048 clone
pcapriotti/bacon
background rust code check
pcapriotti/helium
Kernel development learning project
pcapriotti/rubik
Rubik's cubes and other puzzles