Rankings
Badges
/
cpitclaudel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Clément Pit-Claudel
@cpitclaudel
Refresh
Open GitHub
🇨🇭 Lausanne, Switzerland
EPFL
Profile age: about 11 years
Updated about 14 hours ago
353 followers • 0 following
Contacts
https://pit-claudel.fr/clement/
@cpitclaudel
https://systemf.epfl.ch/
Organizations
Profile Overview
Global
Switzerland
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Influencer
#21,756
#133,199
#26,561
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
monospacifier
416
32
updated over 1 year ago • age almost 10 years
Python
87.0%
Makefile
13.0%
company-coq
358
29
updated about 1 month ago • age over 10 years
Emacs Lisp
86.0%
Rocq Prover
8.7%
Python
3.8%
Shell
0.9%
Makefile
0.6%
alectryon
268
38
7
updated 14 days ago • age over 5 years
HTML
52.5%
Python
24.6%
TeX
18.2%
Rocq Prover
2.5%
CSS
2.2%
biblio.el
201
17
updated about 2 months ago • age over 9 years
Emacs Lisp
99.6%
Makefile
0.4%
z3.wasm
150
9
1
updated over 5 years ago • age over 7 years
Shell
50.9%
JavaScript
30.4%
C
9.6%
HTML
5.2%
CSS
3.9%
View all 17 repositories
Last Contributions
2025
lsp-mode
1 PR
+1
-1
Emacs Lisp
4,986
934
11
vsrocq
1 PR
+4
-3
OCaml
408
82
32
stdlib
1 PR
+2
-2
Rocq Prover
26
24
2
2024
pelican
2 PRs
+26
-7
Python
13,023
1,816
25
typeshed
1 PR
+7
-2
Python
4,858
1,914
View all contributions
Latest Updates
28 Sep 2025
Followers Count:
350
353
14 Sep 2025
Starred Repositories Count:
332
333
Followers Count:
348
350
17 Aug 2025
Followers Count:
346
348
20 Jul 2025
Starred Repositories Count:
331
332
Followers Count:
344
346
22 Jun 2025
Followers Count:
342
344
05 Jan 2025
First seen
Subscribe to cpitclaudel's GitHub rank updates in your messenger
WhatsApp
Telegram
