Rankings
Badges
/
wilcoxjay
Rankings
Badges
Overview
Ranks
Repositories
Languages
James Wilcox
@wilcoxjay
Refresh
Open GitHub
🇺🇸 Seattle, Washington
University of Washington
Profile age: over 15 years
Updated 5 days ago
88 followers • 7 following
Contacts
https://jamesrwilcox.com/
@wilcoxjay@types.pl
@wilcoxjay
Organizations
Repositories
mypyvy
70
14
updated 2 months ago • age over 7 years
Python
99.1%
Makefile
0.5%
Emacs Lisp
0.4%
Shell
0.1%
coq-lit
17
1
updated almost 10 years ago • age about 11 years
Python
100.0%
notes
14
1
updated over 2 years ago • age over 8 years
Dafny
53.1%
Coq
39.4%
OCaml
3.4%
Python
2.5%
Haskell
1.7%
tactics
5
0
updated about 10 years ago • age over 11 years
Coq
100.0%
mechanized-metatheory2
5
2
updated over 4 years ago • age almost 8 years
Coq
100.0%
miniprl-coq
2
0
updated about 9 years ago • age about 9 years
Coq
96.9%
Shell
3.1%
PrettyParsing
1
1
updated almost 7 years ago • age about 9 years
Coq
96.9%
Shell
3.1%
mypyvy-tool-paper
1
0
updated over 5 years ago • age over 5 years
TeX
100.0%
thesis
0
0
updated about 4 years ago • age over 6 years
TeX
99.5%
Coq
0.5%
linear-stlc-handout
0
0
updated almost 8 years ago • age almost 8 years
TeX
100.0%
Show more - 10 of 12 shown
Contributions
2025
pymdown-extensions
1 PR
+1
-1
Python
1,074
270
105
2024
dslabs
1 PR
+4
-3
Java
1,471
384
teaching-toolshed
1 PR
+1
-0
Python
3
2
4
2023
dslabs
3 PRs
+68
-17
Java
1,471
384
book
1 PR
+1
-1
JavaScript
1,041
96
egglog
5 PRs
+219
-40
Rust
636
75
ena
1 PR
+0
-1
Rust
164
41
eggcc
3 PRs
+334
-335
Rust
80
16
flyvy
~13 PRs
+2,407
-947
Rust
21
1
symbol_table
1 PR
+1
-1
Rust
12
8
Show more
