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
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%
swan
2
0
updated about 5 years ago • age about 6 years
TeX
74.5%
Lean
25.5%
bridge
0
0
updated about 7 years ago • age about 7 years
Python
97.3%
Shell
2.7%
mathlib
0
0
updated over 6 years ago • age over 7 years
Lean
100.0%
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
mathport
1 PR
+30
-11
Lean
44
15
1,000
2021
lean4
1 PR
+1
-1
Lean
6,491
672
91
2020
doc-gen
1 PR
+4
-6
Python
21
19
2019
mathlib3
~50 PRs
+70
-34
Lean
1,667
292
lean
1 PR
+24
-3
C++
434
79
76
Show more
