Pinned Repositories
coq-lit
Literate coq blog posts
ill-formed-expressions
jamesprl
A proof refinement logic in the style of JonPRL for my own edification
mechanized-metatheory2
miniprl-coq
A port of MiniPRL to Coq
mypyvy
A language for symbolic transitions system, inspired by Ivy.
notes
pretty
tactics
some Coq tactics I've found useful
wilcoxjay's Repositories
wilcoxjay/coq-lit
Literate coq blog posts
wilcoxjay/tactics
some Coq tactics I've found useful
wilcoxjay/pretty
wilcoxjay/scala-ide
Scala IDE for Eclipse
wilcoxjay/trifecta
Parser combinators with highlighting, slicing and Clang-style diagnostics
wilcoxjay/wave
wilcoxjay/wptp-schedule
wilcoxjay/1010js
wilcoxjay/agda-stdlib
The Agda standard library
wilcoxjay/category-theory
wilcoxjay/chess
A computer chess collaboration.
wilcoxjay/company-coq
Company-mode backend for Proof General's coq-mode
wilcoxjay/CycloneCoqSemantics
Models of the Semantics of the Cyclone Language from Dan Grossman's thesis
wilcoxjay/darknet
Convolutional Neural Networks
wilcoxjay/doxygen
Official doxygen git repository
wilcoxjay/flyguy
a totally amazing game
wilcoxjay/jrwlib
wilcoxjay/mechanized-metatheory
wilcoxjay/mstd
wilcoxjay/mstd2d
exploring more sums than differences sets
wilcoxjay/music
wilcoxjay/necklace
wilcoxjay/sammygraphics
wilcoxjay/systemf
wilcoxjay/tapl
wilcoxjay/wilcoxjay.github.io
github pages