Rankings
Badges
/
Blaisorblade
Rankings
Badges
Overview
Ranks
Repositories
Languages
Paolo G. Giarrusso
@Blaisorblade
Refresh
Open GitHub
🇩🇪 Berlin, Germany
Bedrock Systems Inc.
Profile age: over 15 years
Updated 13 days ago
204 followers • 191 following
Contacts
p.giarrusso@gmail.com
http://blaisorblade.github.io/
Organizations
Repositories
dot-iris
36
1
5
updated about 1 month ago • age almost 7 years
HTML
91.1%
Coq
8.5%
Scala
0.2%
CSS
0.1%
JavaScript
0.1%
abt
19
0
updated over 9 years ago • age about 10 years
Scala
85.2%
OCaml
14.8%
Agda-playground
12
2
updated about 6 years ago • age almost 13 years
Agda
96.8%
Idris
3.2%
evalFromToAbsMachines
8
0
updated over 10 years ago • age over 10 years
Haskell
100.0%
hoas-with-names
8
1
updated over 5 years ago • age almost 12 years
Scala
100.0%
scala19_gadt_code
3
0
updated almost 6 years ago • age over 6 years
Scala
100.0%
git-filter-branch-msgs
3
0
updated about 11 years ago • age over 11 years
Shell
57.4%
Scala
42.6%
phd-thesis
1
0
updated almost 6 years ago • age over 9 years
TeX
99.6%
Makefile
0.2%
Perl
0.1%
Haskell
0.1%
Scala
0.0%
ndot-iris
1
0
updated over 5 years ago • age over 6 years
Coq
100.0%
subtitle-fixer
1
0
updated over 7 years ago • age over 13 years
Scala
100.0%
Show more - 10 of 26 shown
Contributions
2025
BRiCk
2 PRs
+1,402
-27
Rocq Prover
84
14
2024
vsrocq
1 PR
+1
-1
OCaml
411
84
33
2023
rocq
1 PR
+5
-5
OCaml
5,240
694
65
coq-elpi
3 PRs
+68
-42
Rocq Prover
176
66
66
CoqCP
1 PR
+55
-6
HTML
29
2
PE
1 PR
+73
-9
Coq
1
1
2022
rocq
2 PRs
+13
-8
OCaml
5,240
694
65
dune
2 PRs
+2
-304
OCaml
1,786
450
159
opam-repository
2 PRs
+95
-0
555
1,207
vsrocq
1 PR
+19
-10
OCaml
411
84
33
Show more
