Popular repositories

1. haski haski Public

   Haskell 8

2. dragen dragen Public

   Branching processes for QuickCheck generators

   Haskell 6 2

3. BinderAnn BinderAnn Public

   BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

   Haskell 4 3

4. OptimisingFSME OptimisingFSME Public

   Supplementary material to "Optimising Faceted Secure Multi-Execution"

   Agda 2 1

5. mutagen mutagen Public

   Property-Based Testing framework using exhaustive mutations.

   Haskell 2

6. dragen2 dragen2 Public

   QuickCheck utilities to generate structured data.

   Haskell 1 1