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
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#215,372
#634,631
#140,064
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
mypyvy
70
14
updated about 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%
View all 12 repositories
Last 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
View all contributions
Latest Updates
30 Oct 2025
Followers Count:
90
88
02 Oct 2025
Followers Count:
89
90
04 Sep 2025
Followers Count:
88
89
06 Aug 2025
Followers Count:
89
88
05 Jan 2025
First seen
Subscribe to wilcoxjay's GitHub rank updates in your messenger
WhatsApp
Telegram
