pseudonom / phantheck
Integrates QuickChecked properties into the type system with phantom types
☆34Updated 8 years ago
Related projects: ⓘ
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 2 months ago
- ☆26Updated 8 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- A more progressive alternative to the "base" package☆27Updated 2 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- A more flexible mtl☆64Updated 6 years ago
- Simple typesafe routing☆44Updated 2 years ago
- The prelude.☆16Updated 5 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 5 years ago
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- Structured logging solution.☆35Updated last year
- FRM framework on top of Opaleye☆22Updated 7 years ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- Make presentations for data types☆25Updated 2 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated 2 months ago
- Relational algebra☆25Updated 7 years ago
- Open records for Haskell☆22Updated 6 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 6 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last week
- An example Servant API.☆19Updated 9 years ago
- complexity testing for haskell☆47Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 8 years ago
- ☆28Updated this week