This is your work, valued

Brooklyn, NY

Antal Spector-Zabusky

Expert
@antalsz

I use GitHub for work and collaboration, but my personal projects have moved to GitLab (same username) because GitHub is contracting with ICE.

gitlab.com/antalsz

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

283

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

19

urn-random. A Haskell package for updatable discrete distributions

12

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

8

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

5

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

2

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

2

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

1

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

1

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

1

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

1