Rankings
Badges
/
alashworth
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andrew Ashworth
@alashworth
Refresh
Open GitHub
🇺🇸 Arlington, VA
Profile age: over 12 years
Updated 9 days ago
9 followers • 3 following
Contacts
andrew@ashworth.us
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 2
Persona
Creator
#569,139
#1,382,418
#1,372,124
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
sf-lean
Archived
24
4
updated over 5 years ago • age over 7 years
Lean
96.6%
Makefile
3.4%
tao-analysis-one
1
2
updated over 7 years ago • age almost 9 years
Lean
100.0%
Last Contributions
2021
sltbench
1 PR
+6
-4
C++
152
10
8
2019
math
1 PR
+29,891
-10,148
C++
794
198
59
2017
leanprover.github.io
1 PR
+4
-0
HTML
16
25
View all contributions
Subscribe to alashworth's GitHub rank updates in your messenger
WhatsApp
Telegram
