rudymatela / speculate
Speculate laws about Haskell functions
☆30Updated last month
Alternatives and similar repositories for speculate:
Users that are interested in speculate are comparing it to the libraries listed below
- Type-safe time units in Haskell☆49Updated 2 months ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 4 months ago
- Hedgehog will eat your typeclass bugs☆56Updated last week
- Type-safe error handling☆64Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Constraint-based generics☆49Updated 11 months ago
- ☆35Updated 6 months ago
- Extensible type-safe unions for Haskell☆33Updated last week
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Serializable closures for distributed programming.☆64Updated last year
- A monad for managed values☆50Updated 2 years ago
- Modern library for working with URIs☆69Updated 3 weeks ago
- Simple reflection of expressions☆33Updated 3 years ago
- Quasiquoter for LLVM