Xia Li-yao Lysxia

Achievements

Achievements

Organizations

Pinned Loading

1. DeepSpec/InteractionTrees DeepSpec/InteractionTrees Public

   A Library for Representing Recursive and Impure Programs in Coq

   Rocq Prover 256 60

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

   First-class type families

   Haskell 94 14

3. QuickChick/QuickChick QuickChick/QuickChick Public

   Randomized Property-Based Testing Plugin for Coq

   Rocq Prover 291 50

4. profunctor-monad profunctor-monad Public

   Bidirectional programming in Haskell with monadic profunctors

   Coq 49 4

5. generic-data generic-data Public

   Generic data types in Haskell, utilities for GHC.Generics

   Haskell 47 12

6. generic-random generic-random Public

   Generic random generators

   Haskell 80 6