James Wilcox's starred repositories
LNLHaskell
Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
binary_turk
A UCI (Universal Chess Interface) chess engine written in the Rust programming language
rb_tree_demo
code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
sml-modernized-algol
Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
sml-logical-framework
Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
coqproject
Bash script for simple generation of Coq project metadata files
coq-wigderson
Formalization of Wigderson's graph coloring algorithm in Coq
christmas-tree
Output a christmas tree if appropriate