Rankings
Badges
/
austinletson
Rankings
Badges
Overview
Ranks
Repositories
Languages
Austin Letson
@austinletson
Refresh
Open GitHub
🇺🇸 New York City
Profile age: about 9 years
Updated 5 days ago
15 followers • 11 following
Contacts
waustinletson@gmail.com
Organizations
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%
sorryClientTestRepoMath
0
0
updated 8 months ago • age 8 months
sorryClientTestRepo
0
0
updated 7 months ago • age 8 months
Lean
100.0%
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
2024
miller
1 PR
+2
-2
Go
9,488
226
67
lean4
~6 PRs
+164
-4
Lean
6,572
677
92
batteries
3 PRs
+86
-37
Lean
333
126
29
aesop
3 PRs
+7
-13
Lean
305
39
doc-gen4
1 PR
+2
-6
Lean
109
55
Show more
