Rankings
Badges
/
awodey
Rankings
Badges
Overview
Ranks
Repositories
Languages
Steve Awodey
@awodey
Refresh
Open GitHub
🇺🇸 Pittsburgh PA
CMU
Profile age: over 14 years
Updated 9 days ago
259 followers • 0 following
Contacts
sawodey@gmail.com
https://awodey.github.io
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#184,961
#996,490
#38,930
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
CatLogNotes
80
4
updated over 3 years ago • age about 6 years
math
27
2
updated 4 days ago • age over 11 years
TeX
99.6%
Rich Text Format
0.4%
joyal
15
1
updated over 1 year ago • age over 1 year
Lean
100.0%
HRT
8
1
updated 4 months ago • age about 1 year
TeX
100.0%
Impredicative
6
2
updated over 7 years ago • age almost 8 years
Lean
100.0%
View all 8 repositories
Last Contributions
2015
book
1 PR
+4
-4
TeX
2,104
373
1
2014
book
1 PR
+1,068
-2
TeX
2,104
373
1
2013
book
1 PR
+2
-2
TeX
2,104
373
1
2012
Archive
2 PRs
+17,909
-0
12
2
2011
Coq-HoTT
1 PR
+1,726
-0
Rocq Prover
1,350
197
14
View all contributions
Latest Updates
15 Oct 2025
Followers Count:
257
259
01 Oct 2025
Followers Count:
254
257
17 Sep 2025
Followers Count:
253
254
03 Sep 2025
Followers Count:
249
253
05 Aug 2025
Followers Count:
248
249
06 Jan 2025
First seen
Subscribe to awodey's GitHub rank updates in your messenger
WhatsApp
Telegram
