Rankings
Badges
/
arthurpaulino
Rankings
Badges
Overview
Ranks
Repositories
Languages
Arthur Paulino
@arthurpaulino
Refresh
Open GitHub
🇧🇷 Brazil
Argument Computer Corporation
Profile age: about 13 years
Updated 12 days ago
111 followers • 3 following
Contacts
arthurleonardo.ap@gmail.com
https://arthurpaulino.github.io/
Organizations
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 4
Persona
Contributor
#188,117
#41,868
#106,227
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
miraiml
26
8
updated almost 6 years ago • age over 6 years
Python
98.1%
Makefile
1.9%
lean2md
21
3
updated almost 2 years ago • age over 3 years
Python
100.0%
NumLean
18
1
updated over 3 years ago • age almost 4 years
Lean
51.7%
C
36.5%
Nix
11.8%
LeanMySQL
17
2
updated over 3 years ago • age almost 4 years
Lean
79.5%
C
20.5%
FxyLang
15
1
updated over 3 years ago • age over 3 years
Lean
100.0%
View all 12 repositories
Last Contributions
2025
asterinas
1 PR
+51
-49
Rust
3,577
221
vekos
1 PR
+4,868
-186
Rust
206
12
binius
1 PR
+71
-4
Rust
124
62
LSpec
3 PRs
+133
-134
Lean
59
11
1
ix
2 PRs
+810
-214
Lean
48
0
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
110
111
08 Aug 2025
Followers Count:
109
110
25 Jul 2025
Followers Count:
106
109
11 Jul 2025
Followers Count:
105
106
10 Jan 2025
First seen
Subscribe to arthurpaulino's GitHub rank updates in your messenger
WhatsApp
Telegram
