Rankings
Badges
/
mtzguido
Rankings
Badges
Overview
Ranks
Repositories
Languages
Guido Martínez
@mtzguido
Refresh
Open GitHub
🇺🇸 Seattle
Microsoft Research
Profile age: over 12 years
Updated 12 days ago
55 followers • 0 following
Contacts
mtzguido@gmail.com
mtzguido.github.io
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Influencer
#554,591
#525,470
#240,697
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
intro-verif-24
15
16
updated 7 months ago • age over 1 year
F*
95.5%
Dockerfile
2.5%
Makefile
2.0%
cemetery
6
0
updated almost 8 years ago • age almost 11 years
Haskell
72.6%
C
11.4%
Logos
7.1%
Yacc
6.7%
Shell
2.2%
lcc.cls
5
0
updated over 2 years ago • age over 3 years
TeX
100.0%
z3-ramon-results
0
0
updated 13 days ago • age about 1 year
dba
0
0
updated about 10 years ago • age over 10 years
TeX
98.5%
Makefile
1.5%
View all 6 repositories
Last Contributions
2025
FStar
~259 PRs
+33
-14
F*
2,907
243
79
hacl-star
~17 PRs
+33,469
-31,099
F*
1,789
179
17
opam-repository
3 PRs
+156
-0
555
1,207
karamel
~22 PRs
+21
-3
OCaml
479
67
1
everparse
~21 PRs
+1,003
-781
F*
289
19
37
View all contributions
Latest Updates
26 Aug 2025
Followers Count:
52
55
06 Jan 2025
First seen
Subscribe to mtzguido's GitHub rank updates in your messenger
WhatsApp
Telegram
