Pinned Loading

1. plclub/hs-to-coq plclub/hs-to-coq Public

   Convert Haskell source code to Coq source code.

   Coq 88 10

2. urn-random urn-random Public

   A Haskell package for updatable discrete distributions

   Coq 12 1

3. tree-dye tree-dye Public

   Random spanning tree “tie-dye”

   Haskell 2 1

4. quantum-halftoning quantum-halftoning Public

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

   Haskell 1 1

5. choose-your-own-derivative choose-your-own-derivative Public

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

   Haskell 19

6. draft draft Public

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

   TeX 7 1