Rankings
Badges
/
alexpatel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Alex Patel
@alexpatel
Refresh
Open GitHub
🇺🇸 Cambridge, MA
Profile age: over 12 years
Updated 9 days ago
6 followers • 1 following
Repositories
lean-modal
12
1
updated about 8 years ago • age over 8 years
TeX
86.8%
Lean
13.2%
lean-ex
7
1
updated over 7 years ago • age over 8 years
Lean
100.0%
guppypy
2
0
updated about 8 years ago • age over 8 years
Python
100.0%
kent-ethics-sorting
0
0
updated almost 12 years ago • age almost 12 years
Python
100.0%
math156-titanic
0
0
updated about 11 years ago • age about 11 years
R
100.0%
Contributions
2017
Guppy
~10 PRs
+207
-22
C
1
3
2016
fluent-plugin-mysql
1 PR
+1
-1
Ruby
89
58
