There are no reviews yet. Be the first to send feedback to the community and the maintainers!
This is QuickCheck 2, a library for random testing of program properties. Add `QuickCheck` to your package dependencies to use it in tests or REPL. The quickcheck-instances [1] companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies. The make-hugs script makes a Hugs-compatible version of QuickCheck. It may also be useful for other non-GHC implementations. [1]: http://hackage.haskell.org/package/quickcheck-instances
quickspec
Equational laws for freeremarkable-fs
A FUSE filesystem wrapper for the reMarkable tablettwee
An equational theorem prover based on Knuth-Bendix completionequinox
Paradox model finder and equinox theorem prover for first-order logic.jukebox
A theorem provercomplexity
Infer complexity of algorithms by testingcombinatory-logic-in-shell-script
I was feeling evil one night :)quickcheck-with-counterexamples
Get counterexamples out of QuickCheck as Haskell valuespsx
A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.beeby
A BBC Micro emulatorpuzzle
The Church numerals puzzle from the FP winter meeting.munch
Fast parser combinatorsfaustilogue
Convert Faust DSP files to KORG logue custom oscillatorsfusion
Tinkering with list fusionmunch-testdata
Test data for munchflashcards
A wee flashcard programhaiku-ghc
Instructions+patches for building GHC for Haikuguess
Guess the definition of a predicate by black-box testingcorpora
Tinkering around with corpora queries (nothing to see here yet)example-finding
imp
Testing imperative code with QuickSpecfourier-motzkin
A wee solver for linear inequalities based on Fourier-Motzkin elimination.Love Open Source and this site? Check out how you can help us