Pinned Loading

1. DeepSpec/InteractionTrees DeepSpec/InteractionTrees Public

   A Library for Representing Recursive and Impure Programs in Coq

   Rocq Prover 263 62

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

   First-class type families

   Haskell 95 15

3. QuickChick/QuickChick QuickChick/QuickChick Public

   Randomized Property-Based Testing Plugin for Coq

   Rocq Prover 297 52

4. profunctor-monad profunctor-monad Public

   Bidirectional programming in Haskell with monadic profunctors

   Coq 51 4

5. generic-data generic-data Public

   Generic data types in Haskell, utilities for GHC.Generics

   Haskell 48 12

6. generic-random generic-random Public

   Generic random generators

   Haskell 81 6