Powerful, elegant and flexible test framework for Kotlin
Kotlin
Updated Aug 16, 2019
Data generation and property-based testing for Elixir. 🔮
Elixir
Updated Jul 31, 2019
Release with confidence, state-of-the-art property testing for Haskell.
Haskell
Updated Aug 14, 2019
Release with confidence, state-of-the-art property testing for .NET.
F#
Updated Aug 14, 2019
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Scala
Updated Aug 6, 2019
Advanced unit test framework for D
D
Updated Aug 6, 2019
Curried Type Testing library, and Test Matchers for Jest
TypeScript
Updated Aug 4, 2019
A purely functional semantic forest editor to replace Emacs Org Mode for GTD
Haskell
Updated Aug 11, 2019
Rapid is a Go library for property-based testing
Go
Updated Aug 14, 2019
refine properties for testing Haskell programs
Haskell
Updated Jul 19, 2019
Sismic Interactive Statechart Model Interpreter and Checker
http://sismic.readthedocs.org/
Python
Updated Jul 26, 2019
enumerative property-based testing for Haskell
Haskell
Updated Aug 5, 2019
Speculate laws about Haskell functions
Haskell
Updated Aug 10, 2019
Signature inference for Functional Property Discovery in Haskell
Haskell
Updated Sep 17, 2017
Property based testing for kotlintest ported from quickcheck
Kotlin
Updated Aug 17, 2019
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Scala
Updated May 11, 2018
A library for creating Scalacheck generators from regular expressions
Scala
Updated Nov 11, 2018
🏁 An implementation of QuickCheck in Swift.
Swift
Updated Dec 4, 2017
Go
Updated Aug 11, 2019
generalize counter-examples of property-based testing
Haskell
Updated Aug 10, 2019
Sustainable Testing
Elixir
Updated May 14, 2019
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
Rust
Updated Mar 31, 2018
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
TypeScript
Updated Aug 10, 2019
This is my Ph.D. Thesis, defended at Columbia University in Fall 2017 (Computer Science).
TeX
Updated Dec 11, 2017
QuickCheck with shrinking for free
OCaml
Updated Nov 22, 2017
This project lets you complete some complex tasks inside objects & arrays
JavaScript
Updated Jun 4, 2018
Property Testing library in Ruby
Ruby
Updated Jul 29, 2019
Visualize software behavior with intelligent sampling
TypeScript
Updated Oct 2, 2018
Conceptual code for property testing of DAG graphs used for my work
Haskell
Updated Nov 2, 2018
Breaking 'return true to win' using Property based testing fast-check
JavaScript
Updated Feb 27, 2018