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
Repositories
Lam
6
0
updated 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%
lean-smt
1
0
updated 11 months ago • age almost 4 years
Lean
100.0%
plfa
0
0
updated over 3 years ago • age over 6 years
Agda
100.0%
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
lean-smt
2 PRs
+1,665
-133
Lean
231
30
smtcoq
2 PRs
+47
-46
OCaml
160
45
20
opam
2 PRs
+66
-0
OCaml
149
174
sniper
~6 PRs
+823
-89
Coq
37
6
8
imitator
~20 PRs
+174
-75
OCaml
28
15
34
Show more
