Pinned Loading

1. DeepSpec/InteractionTrees DeepSpec/InteractionTrees Public

   A Library for Representing Recursive and Impure Programs in Coq

   Rocq Prover 233 55

2. first-class-families first-class-families Public

   First-class type families

   Haskell 89 14

3. QuickChick/QuickChick QuickChick/QuickChick Public

   Randomized Property-Based Testing Plugin for Coq

   Rocq Prover 273 50

4. profunctor-monad profunctor-monad Public

   Bidirectional programming in Haskell with monadic profunctors

   Coq 47 4

5. generic-data generic-data Public

   Generic data types in Haskell, utilities for GHC.Generics

   Haskell 45 11

6. generic-random generic-random Public

   Generic random generators

   Haskell 81 6