Popular repositories Loading

1. justified-containers justified-containers Public

   Standard containers, with keys that carry type-level proofs of their own presence.

   Haskell 80 5

2. gdp gdp Public

   Ghosts of Departed Proofs

   Haskell 60 11

3. gdp-paper gdp-paper Public

   Ghosts of Departed Proofs

   SMT 41 2

4. retypd-data retypd-data Public

   Data and scripts for the paper "Polymorphic Type Inference for Machine Code"

   BlitzBasic 13 1

5. FractalStream FractalStream Public

   Experimental Haskell rewrite of FractalStream

   Haskell 4

6. haskell-as-templates haskell-as-templates Public

   Translation of a Haskell run-time fizzbuzz to a C++ compile-time fizzbuzz. I'm so sorry.

   C++ 3