Rankings
Badges
/
sonmarcho
Rankings
Badges
Overview
Ranks
Repositories
Languages
Son HO
@sonmarcho
Refresh
Open GitHub
🇫🇷 Paris
Inria
Profile age: about 10 years
Updated 8 days ago
33 followers • 9 following
Contacts
@sonmarcho
Organizations
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 3
Persona
Influencer
#1,287,558
#695,155
#422,717
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
fstar-extended-mode
5
0
updated over 4 years ago • age over 5 years
F*
55.1%
Emacs Lisp
44.7%
Makefile
0.2%
Last Contributions
2025
aeneas
1 PR
+4
-0
OCaml
409
37
charon
~13 PRs
+26
-20
Rust
199
25
eurydice
1 PR
+235
-235
OCaml
119
7
symcrust
2 PRs
+9,596
-2,221
Lean
3
0
2024
aeneas
~74 PRs
+11,649
-6,024
OCaml
409
37
View all contributions
Latest Updates
12 Oct 2025
Followers Count:
32
33
16 Aug 2025
Followers Count:
31
32
19 Jul 2025
Followers Count:
30
31
06 Jan 2025
First seen
Subscribe to sonmarcho's GitHub rank updates in your messenger
WhatsApp
Telegram
