Paolo Capriotti

icon indicating a website link https://paolocapriotti.com icon indicating an email [email protected]

icon company Wire icon location Fermo, Italy icon location Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Results 6 repositories owned by Paolo Capriotti

optparse-applicative

900
Stars
114
Forks
Watchers

Applicative option parser

verified publisher icon pcapriotti

agda-base

34
Stars
5
Forks
Watchers

Base library for HoTT in Agda

verified publisher icon pcapriotti

agda-categories

27
Stars
3
Forks
Watchers

Category theory and algebra

verified publisher icon pcapriotti

github-trac

19
Stars
34
Forks
Watchers

Trac plugin for github integration

verified publisher icon pcapriotti

hott-exercises

21
Stars
0
Forks
Watchers

Solutions of the exercises of the HoTT book

verified publisher icon pcapriotti

pipes-core

19
Stars
4
Forks
Watchers

Compositional pipelines

verified publisher icon pcapriotti