Rankings
Badges
/
austinletson
Rankings
Badges
Overview
Ranks
Repositories
Languages
Austin Letson
@austinletson
Refresh
Open GitHub
🇺🇸 New York City
Profile age: about 9 years
Updated 4 days ago
15 followers • 11 following
Contacts
waustinletson@gmail.com
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 4
Persona
Contributor
N/A
#213,359
#924,617
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
aesop
2
0
updated about 1 year ago • age over 1 year
Lean
100.0%
filmstore
1
0
updated over 5 years ago • age over 8 years
JavaScript
84.6%
HTML
15.4%
how-i-placed-your-order
1
1
updated about 6 years ago • age about 6 years
Java
100.0%
chess-hs
0
0
updated almost 3 years ago • age almost 3 years
Haskell
100.0%
carleson
0
0
updated 11 months ago • age over 1 year
Lean
66.7%
TeX
33.0%
Dockerfile
0.1%
Python
0.1%
CSS
0.1%
View all 7 repositories
Last Contributions
2025
SorryDB
2 PRs
+119
-88
Python
36
7
Sphere-Packing-Lean
1 PR
+9
-1
Lean
26
16
7
lean-action
~6 PRs
+11
-2
Shell
22
9
11
rpylean
2 PRs
+58
-15
Python
5
1
sorrydb-data
1 PR
+6,436
-6,436
4
1
View all contributions
Latest Updates
24 Jul 2025
Organizations Count:
0
1
17 Jan 2025
First seen
Subscribe to austinletson's GitHub rank updates in your messenger
WhatsApp
Telegram
