Paolo Capriotti (@pcapriotti)
github

pcapriotti

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,096
  • Global Rank 27,924 (Top 1.0 %)
  • Followers 160
  • Registered over 16 years ago
  • Most used languages
    Haskell
         42.1 %
    Agda     15.8 %
    Ruby
         15.8 %
    Python
         15.8 %
    C
         5.3 %
    Rust
         5.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 1,533
  • Country Ranking
    Agda     1
    Haskell
         6
    Ruby
         721
    Rust
         2,477
    Python
         3,383
    C
         6,585

Top repositories

1

optparse-applicative

Applicative option parser
Haskell
911
star
2

agda-base

Base library for HoTT in Agda
Agda
36
star
3

agda-categories

Category theory and algebra
Agda
27
star
4

hott-exercises

Solutions of the exercises of the HoTT book
Agda
22
star
5

github-trac

Trac plugin for github integration
Python
19
star
6

pledger

Command line accounting tool and python library
Python
14
star
7

kaya

KDE Board Game Suite
Ruby
12
star
8

pipes-extra

Pipe utilities
Haskell
9
star
9

rui

GUI abstraction library for ruby
Ruby
5
star
10

skema

Command line template expansion tool
Ruby
4
star
11

qr

QR encoder library
Haskell
4
star
12

pipes-network

Pipe utilities to deal with sockets.
Haskell
3
star
13

pipes-attoparsec

Utilities to convert a parser into a pipe
Haskell
2
star
14

pipes-zlib

Pipes to deal with zipped data
Haskell
2
star
15

scheme

Toy scheme compiler
Python
2
star
16

pipes-conduit

Conduit adapters for pipes
Haskell
2
star
17

iron

A 2048 clone
Rust
1
star
18

hikki

Minimalistic Note-taking Tool
C
1
star
19

dbus-qq

Haskell quasi-quoter for DBus functions
Haskell
1
star