Rankings
Badges
/
arlencox
Rankings
Badges
Overview
Ranks
Repositories
Languages
Arlen Cox
@arlencox
Refresh
Open GitHub
🇺🇸 Maryland, USA
Profile age: over 13 years
Updated 3 days ago
15 followers • 1 following
Contacts
http://arlencox.github.io/
Repositories
mlbdd
37
4
3
updated over 3 years ago • age about 11 years
OCaml
100.0%
QUICr
12
1
updated over 10 years ago • age about 11 years
OCaml
96.5%
Python
2.0%
Shell
0.7%
R
0.6%
Makefile
0.2%
SETr
9
1
updated over 2 years ago • age over 10 years
OCaml
97.0%
Python
1.8%
R
0.6%
Makefile
0.5%
Standard ML
0.1%
index-sort
1
1
updated over 2 years ago • age about 3 years
Rust
100.0%
symbolic-sets-paper
0
1
updated about 10 years ago • age over 10 years
TeX
96.0%
R
2.0%
Python
1.4%
Makefile
0.6%
set_mapping_paper
0
0
updated over 9 years ago • age over 9 years
TeX
100.0%
Contributions
2022
opam-repository
1 PR
+43
-0
555
1,207
2020
opam-repository
1 PR
+39
-0
555
1,207
2018
batteries-included
1 PR
+4
-0
OCaml
523
109
29
2017
opam-repository
1 PR
+20
-0
555
1,207
2015
opam-repository
~7 PRs
+64
-0
555
1,207
