James Wilcox (@wilcoxjay)
github

wilcoxjay

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    106
  • Global Rank 199,389 (Top 7 %)
  • Followers 73
  • Following 6
  • Registered over 14 years ago
  • Most used languages
    Coq     38.5 %
    Python
         15.4 %
    Standard ML     7.7 %
    TeX
         7.7 %
    OCaml
         7.7 %
    Dafny     7.7 %
    JavaScript
         7.7 %
    Java
         7.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 42,544
  • Country Ranking
    Dafny     9
    Coq     48
    Standard ML     85
    OCaml
         501
    TeX
         5,764

Top repositories

1

mypyvy

A language for symbolic transitions system, inspired by Ivy.
Python
64
star
2

coq-lit

Literate coq blog posts
Python
16
star
3

notes

Dafny
9
star
4

mechanized-metatheory2

Coq
5
star
5

tactics

some Coq tactics I've found useful
Coq
5
star
6

jamesprl

A proof refinement logic in the style of JonPRL for my own edification
Standard ML
3
star
7

ill-formed-expressions

OCaml
3
star
8

miniprl-coq

A port of MiniPRL to Coq
Coq
2
star
9

pretty

Coq
2
star
10

slides

JavaScript
1
star
11

mypyvy-tool-paper

A tool paper about mypyvy
TeX
1
star
12

wave

1
star
13

PrettyParsing

verified, human-readable, text-based serializers in Coq
Coq
1
star
14

wptp-schedule

Java
1
star