Rankings
Badges
/
a2435191
Rankings
Badges
Overview
Ranks
Repositories
Languages
William Bradley
@a2435191
Refresh
Open GitHub
🇺🇸 Ithaca, NY
Profile age: about 5 years
Updated 15 days ago
10 followers • 16 following
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Contributor
#703,979
#300,961
#1,267,203
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean-logic-formalization
12
0
updated 5 months ago • age 6 months
Lean
100.0%
TracerouteVisualization
5
0
updated over 4 years ago • age over 4 years
Python
100.0%
Last Contributions
2025
Rupert.lean
1 PR
+49
-195
Lean
16
3
2021
pandas
1 PR
+1
-2
Python
46,823
19,127
113
View all contributions
Latest Updates
19 Aug 2025
Followers Count:
9
10
12 May 2025
Location:
Ithaca, NY
09 Jan 2025
First seen
Subscribe to a2435191's GitHub rank updates in your messenger
WhatsApp
Telegram
