leepike / SmartCheck
A Smarter QuickCheck
☆102Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for SmartCheck
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- FEAT☆25Updated 6 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- ☆17Updated 2 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Haskell 98 contravariant functors☆73Updated last month
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- Create command line interfaces with ease☆41Updated last year
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- QuickCheck extras.☆29Updated 5 years ago
- complexity testing for haskell☆47Updated 8 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- the EitherT monad transformer☆55Updated 7 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated 3 weeks ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Type-safe time units in Haskell☆49Updated 10 months ago