Rankings
Badges
/
dwrensha
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Renshaw
@dwrensha
Refresh
Open GitHub
🇺🇸 Pittsburgh, PA
Profile age: almost 15 years
Updated 2 days ago
423 followers • 5 following
Contacts
@dwrensha
@david@social.wub.site
@dwrensha
dwrensha
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Contributor
#31,497
#23,158
#21,631
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
seer
356
8
updated over 7 years ago • age over 8 years
Rust
100.0%
compfiles
205
47
updated 13 days ago • age almost 3 years
Lean
99.7%
CSS
0.3%
Shell
0.0%
gj
111
13
updated almost 9 years ago • age over 10 years
Rust
100.0%
animate-lean-proofs
75
4
updated 4 days ago • age over 1 year
Lean
51.2%
Python
48.8%
lean4-maze
64
5
updated 5 months ago • age over 4 years
Lean
100.0%
View all 27 repositories
Last Contributions
2025
llama.cpp
1 PR
+1
-1
C++
89,615
13,651
1,000
capnproto-rust
~12 PRs
+309
-141
Rust
2,346
242
FLT
2 PRs
+10
-72
Lean
741
98
28
equational_theories
1 PR
+1
-1
Lean
445
88
3
doc-gen4
1 PR
+1
-1
Lean
111
55
View all contributions
Latest Updates
15 Nov 2025
Followers Count:
417
423
01 Nov 2025
Followers Count:
414
417
18 Oct 2025
Followers Count:
409
414
04 Oct 2025
Followers Count:
405
409
20 Sep 2025
Followers Count:
401
405
05 Jan 2025
First seen
Subscribe to dwrensha's GitHub rank updates in your messenger
WhatsApp
Telegram
