Rankings
Badges
/
sacerdot
Rankings
Badges
Overview
Ranks
Repositories
Languages
Claudio Sacerdoti Coen
@sacerdot
Refresh
Open GitHub
🇮🇹 Bologna (Italy)
Alma Mater Studiorum - Universitá di Bologna
Profile age: about 10 years
Updated 12 days ago
49 followers • 1 following
Contacts
http://www.cs.unibo.it/~sacerdot
Profile Overview
Global
Italy
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
#403,737
#1,361,066
#273,241
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ocaml-http
15
1
updated almost 7 years ago • age almost 7 years
OCaml
96.5%
Makefile
3.5%
MiniErlangBlockchain
9
2
updated over 5 years ago • age over 6 years
Erlang
100.0%
matita
8
2
1
updated about 1 month ago • age over 2 years
Mathematica
77.4%
OCaml
13.6%
Roff
7.1%
HTML
1.2%
TeX
0.7%
CovidMonitoring
6
6
updated about 5 years ago • age over 5 years
Erlang
99.3%
Shell
0.7%
Minimalist-Type-Theory-In-Lambda-Prolog
4
3
updated almost 7 years ago • age about 9 years
Prolog
98.7%
Mathematica
1.1%
Vim Script
0.2%
View all 8 repositories
Last Contributions
2025
lambdapi
1 PR
+211
-65
OCaml
355
38
12
europroofnet.github.io
2 PRs
+5
-1
Ruby
13
64
2024
europroofnet.github.io
1 PR
+1
-2
Ruby
13
64
2023
opam-repository
~7 PRs
+62
-0
555
1,207
lambdapi
1 PR
+3,885
-249
OCaml
355
38
12
View all contributions
Latest Updates
08 Sep 2025
Followers Count:
48
49
25 Aug 2025
Followers Count:
47
48
05 Jan 2025
First seen
Subscribe to sacerdot's GitHub rank updates in your messenger
WhatsApp
Telegram
