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 12 days ago
204 followers • 191 following
Contacts
p.giarrusso@gmail.com
http://blaisorblade.github.io/
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Contributor
#247,984
#16,338
#51,673
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 26 repositories
Last 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
View all contributions
Latest Updates
12 Oct 2025
Followers Count:
203
204
28 Sep 2025
Followers Count:
205
203
14 Sep 2025
Followers Count:
203
205
30 Aug 2025
Followers Count:
202
203
16 Aug 2025
Followers Count:
203
202
05 Jan 2025
First seen
Subscribe to Blaisorblade's GitHub rank updates in your messenger
WhatsApp
Telegram
