Antal Spector-Zabusky

hs-to-coq. Convert Haskell source code to Coq source code

choose-your-own-derivative. Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

urn-random. A Haskell package for updatable discrete distributions

draft. A LaTeX package for commands that exist only when a document is in draft mode

ocaml-algebraic-effects. A semantics for our proposed design for algebraic effects for OCaml

functional-shuffle. Functional list shuffling with Heinrich Apfelmus's “merge shuffle” algorithm

tree-dye. Random spanning tree “tie-dye”

text-set. Use a DAFSA (aka a DAWG) to implement a set of strings

jfp-natbib-hack. A hack to make JFP's bibliography compatible with natbib

coqc-expand-errors. Run `coqc` and print out colorized Coq error location information

quantum-halftoning. The quantum halftoning algorithm from the paper “Schrödinger’s Zebra”