Rankings
Badges
/
rwbarton
Rankings
Badges
Overview
Ranks
Repositories
Languages
Reid Barton
@rwbarton
Refresh
Open GitHub
null
Profile age: about 17 years
Updated 13 days ago
149 followers • 3 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 5
Persona
Influencer
#315,311
#203,152
#74,524
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
advent-of-lean-4
26
0
updated over 4 years ago • age almost 5 years
Lean
100.0%
lean-homotopy-theory
14
6
updated about 5 years ago • age over 7 years
Lean
100.0%
lean-omin
11
0
updated almost 5 years ago • age about 5 years
Lean
100.0%
orcish-club
6
0
updated about 15 years ago • age about 17 years
Haskell
100.0%
metaphysical-solving
5
5
updated 7 months ago • age over 13 years
Python
48.8%
HTML
31.6%
CSS
15.8%
Lua
2.5%
Shell
1.4%
View all 8 repositories
Last Contributions
2025
serre-finiteness
2 PRs
+95
-76
Agda
16
2
2023
cubical
1 PR
+76
-1
Agda
505
156
8
batteries
2 PRs
+8
-6
Lean
329
126
28
mathport
~6 PRs
+24
-10
Lean
44
15
1,000
2022
cubical
2 PRs
+85
-3
Agda
505
156
8
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
148
149
05 Sep 2025
Followers Count:
145
148
07 Aug 2025
Followers Count:
144
145
24 Jul 2025
Followers Count:
142
144
10 Jul 2025
Followers Count:
141
142
02 Jan 2025
First seen
Subscribe to rwbarton's GitHub rank updates in your messenger
WhatsApp
Telegram
