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 10 days ago
18 followers • 1 following
Contacts
mattrobball.com
@mattrobball
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%
mdbook-extension
0
0
updated over 3 years ago • age over 3 years
Rust
64.9%
Makefile
35.0%
LLVM
0.1%
latex_template
0
0
updated over 3 years ago • age over 3 years
latex_code-server
Archived
0
0
updated almost 5 years ago • age almost 5 years
TypeScript
52.3%
JavaScript
31.0%
HTML
6.0%
CSS
5.7%
Common Workflow Language
5.0%
bibassemble
0
0
updated over 4 years ago • age over 4 years
Python
100.0%
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
2023
lean4
1 PR
+1,568
-6
Lean
6,572
677
92
leanprover-community.github.io
3 PRs
+21
-9
CSS
64
159
2022
leanprover-community.github.io
1 PR
+7
-0
CSS
64
159
