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
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- ELF data structures for Haskell☆24Updated last year
- ☆17Updated 2 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last month
- complexity testing for haskell☆47Updated 8 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- ☆23Updated 9 years ago
- ☆18Updated 7 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- ☆22Updated 8 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Provides the region monad for safely opening and working with scarce resources☆30Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆50Updated 3 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Updated last year
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- the EitherT monad transformer☆55Updated 6 months ago