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 1 day ago
353 followers • 0 following
Contacts
https://pit-claudel.fr/clement/
@cpitclaudel
https://systemf.epfl.ch/
Organizations
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%
quick-peek
90
14
updated over 4 years ago • age almost 9 years
Emacs Lisp
100.0%
academic-poster-template
90
30
1
updated over 3 years ago • age about 5 years
Less
59.0%
HTML
27.9%
Python
13.1%
easy-escape
48
3
updated about 4 years ago • age over 10 years
Emacs Lisp
100.0%
fstar.js
21
2
1
updated about 6 years ago • age over 8 years
HTML
38.8%
TypeScript
29.3%
JavaScript
24.2%
CSS
5.2%
OCaml
2.6%
dBoost
18
15
updated almost 10 years ago • age almost 11 years
TeX
76.9%
Python
22.7%
Makefile
0.4%
Show more - 10 of 17 shown
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
flycheck
1 PR
+18
-5
Emacs Lisp
2,486
453
18
public
1 PR
+2
-2
Kotlin
13
9
2022
dafny
~91 PRs
+1,487
-379
C#
3,156
283
52
flycheck
1 PR
+1
-1
Emacs Lisp
2,486
453
18
boogie
4 PRs
+86
-48
Boogie
555
115
172
Show more
