icicle-lang / disorder.hs-ambiata
QuickCheck extras.
☆29Updated 5 years ago
Related projects: ⓘ
- ☆25Updated this week
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 4 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- ☆23Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 10 years ago
- complexity testing for haskell☆47Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Make presentations for data types☆25Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- ☆41Updated 7 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- ☆41Updated 6 years ago
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- A more flexible mtl☆64Updated 6 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- the EitherT monad transformer☆55Updated 4 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Fixed length vector for haskell☆21Updated 5 months ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated 2 months ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month