Rankings
Badges
/
remigerme
Rankings
Badges
Overview
Ranks
Repositories
Languages
Rémi Germe
@remigerme
Refresh
Open GitHub
🇫🇷 Paris, France
École polytechnique
Profile age: over 5 years
Updated 29 days ago
6 followers • 6 following
Contacts
remi.germe@polytechnique.edu
remigerme.xyz
Repositories
typst-polytechnique
9
3
7
updated 2 months ago • age over 1 year
Typst
100.0%
CP-ABE
9
2
updated over 1 year ago • age over 1 year
C
90.3%
Python
7.4%
Makefile
2.3%
lambda-cl
0
0
updated 8 months ago • age 11 months
Agda
70.7%
OCaml
29.3%
Contributions
2025
awesome-newsletters
1 PR
+0
-1
4,245
338
packages
1 PR
+943
-0
Rust
806
746
awesome-formal-verification
3 PRs
+6
-4
62
5
2024
packages
~6 PRs
+4,747
-0
Rust
806
746
cgp
1 PR
+9
-5
C++
28
8
