Popular repositories Loading

1. haski haski Public

   Haskell 9

2. dragen dragen Public

   Branching processes for QuickCheck generators

   Haskell 7 2

3. BinderAnn BinderAnn Public

   BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

   Haskell 4 3

4. mutagen mutagen Public

   Property-Based Testing framework using exhaustive mutations.

   Haskell 3 1

5. dragen2 dragen2 Public

   QuickCheck utilities to generate structured data.

   Haskell 2 1

6. OptimisingFSME OptimisingFSME Public

   Supplementary material to "Optimising Faceted Secure Multi-Execution"

   Agda 2 1