Rankings
Badges
/
mattrobball
Rankings
Badges
Overview
Ranks
Repositories
Languages
Matthew Robert Ballard
@mattrobball
Refresh
Open GitHub
🇺🇸 Columbia, South Carolina, USA
University of South Carolina
Profile age: over 3 years
Updated 9 days ago
18 followers • 1 following
Contacts
mattrobball.com
@mattrobball
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Contributor
#926,032
#802,074
#780,876
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lean-autograding
9
1
updated over 3 years ago • age over 3 years
Lean
100.0%
hugo_research_group
1
0
updated over 4 years ago • age over 4 years
HTML
94.3%
SCSS
5.7%
server
0
0
updated almost 4 years ago • age over 4 years
Go
60.9%
HTML
39.1%
pdfviewer
0
0
updated almost 4 years ago • age almost 4 years
JavaScript
93.6%
CSS
4.5%
HTML
1.7%
Go
0.2%
nvim
0
0
updated 2 months ago • age over 3 years
Lua
100.0%
View all 9 repositories
Last Contributions
2025
loogle
2 PRs
+15
-15
Lean
104
21
leanprover-community.github.io
2 PRs
+51
-51
CSS
64
159
2024
lean4
3 PRs
+285
-132
Lean
6,572
677
92
lean.nvim
1 PR
+1
-1
Lua
412
37
5
leanprover-community.github.io
2 PRs
+18
-15
CSS
64
159
View all contributions
Latest Updates
15 Oct 2025
Followers Count:
17
18
01 Oct 2025
Followers Count:
15
17
02 Sep 2025
Followers Count:
14
15
04 Aug 2025
Followers Count:
13
14
16 Jan 2025
First seen
Subscribe to mattrobball's GitHub rank updates in your messenger
WhatsApp
Telegram
