Rankings
Badges
/
tomaz1502
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tomaz Gomes Mascarenhas
@tomaz1502
Refresh
Open GitHub
🇧🇷 Belo Horizonte, MG, Brazil
UFMG
Profile age: about 7 years
Updated 6 days ago
47 followers • 49 following
Contacts
tomgm1502@gmail.com
tomaz1502.github.io
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Contributor
#629,278
#180,904
#289,811
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Lam
6
0
updated about 2 months ago • age over 3 years
Agda
80.8%
Haskell
13.1%
Yacc
4.2%
Lex
1.9%
lean-syntax-highlight
6
1
4
updated 9 months ago • age almost 2 years
JavaScript
100.0%
RunTimeFormalization
5
1
updated about 1 year ago • age almost 5 years
Lean
100.0%
Reconstruction
2
0
updated about 3 years ago • age about 3 years
Lean
100.0%
master-thesis
1
0
1
updated about 1 year ago • age over 2 years
TeX
97.9%
Python
1.5%
Lean
0.6%
View all 7 repositories
Last Contributions
2025
lean-smt
2 PRs
+1,389
-625
Lean
231
30
lean-cvc5
1 PR
+1
-1
Lean
21
6
14
2024
obsidian-releases
1 PR
+7
-0
13,168
4,131
161
rocq
1 PR
+29
-0
OCaml
5,240
694
65
babeld
2 PRs
+2,749
-11
C
406
97
View all contributions
Latest Updates
23 Oct 2025
Followers Count:
45
47
24 Sep 2025
Followers Count:
46
45
12 Aug 2025
Followers Count:
44
46
30 Jun 2025
Avatar:
changed
17 Mar 2025
Company:
CNRS
UFMG
Location:
Paris, France
Belo Horizonte, MG, Brazil
Website Url:
tomaz1502.github.io
16 Jan 2025
First seen
Subscribe to tomaz1502's GitHub rank updates in your messenger
WhatsApp
Telegram
