Pinned

1. concise-cheat-sheets

   Cheat Sheets for programming languages and tools

   TeX 95 11

2. express

   Dynamically-typed Haskell expressions involving applications and variables.

   Haskell 14 1

3. leancheck

   enumerative property-based testing for Haskell

   Haskell 35 6

4. extrapolate

   generalize counter-examples of property-based testing

   Haskell 13

5. fitspec

   refine properties for testing Haskell programs

   Haskell 67

6. speculate

   Speculate laws about Haskell functions

   Haskell 27