Rankings
Badges
/
AntoineChambert-Loir
Rankings
Badges
Overview
Ranks
Repositories
Languages
Antoine Chambert-Loir
@AntoineChambert-Loir
Refresh
Open GitHub
🇫🇷 Paris
Université Paris Cité
Profile age: over 12 years
Updated 14 days ago
14 followers • 1 following
Contacts
antoine.chambert-loir@u-paris.fr
https://webusers.imj-prg.fr/~antoine.chambert-loir/index.xhtml
@achambertloir
@antoinechambertloir@mathstodon.xyz
https://freedommathdance.blogspot.com/
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in France
Adept 1
Persona
Influencer
#16,322
#22,442
#17,395
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
DividedPowers4
5
1
updated 11 days ago • age over 2 years
Lean
99.5%
TeX
0.5%
Sion4
2
0
updated about 1 month ago • age over 2 years
Lean
100.0%
divided_powers
1
0
updated over 2 years ago • age over 3 years
Lean
100.0%
Sion
0
0
updated about 2 years ago • age over 2 years
Lean
100.0%
Representations
0
3
updated 4 months ago • age 4 months
Lean
100.0%
Last Contributions
2020
lftcm2020
1 PR
+1
-0
Lean
68
75
2013
stacks-project
1 PR
+1
-1
TeX
962
154
View all contributions
Latest Updates
05 Oct 2025
Followers Count:
13
14
21 Sep 2025
Followers Count:
12
13
16 Jan 2025
First seen
Subscribe to AntoineChambert-Loir's GitHub rank updates in your messenger
WhatsApp
Telegram
