Alternatives and similar repositories for QuickTheories

Users that are interested in QuickTheories are comparing it to the libraries listed below

• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆973Updated last year
• derive4j / derive4j
  Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…
  ☆577Updated 3 years ago
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆634Updated 2 weeks ago
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆241Updated 2 months ago
• poetix / protonpack
  Stream utilities for Java 8
  ☆485Updated last year
• jasongoodwin / better-java-monads
  ☆271Updated last year
• aol / cyclops-integration
  Home of the cyclops integration modules : support for Scala, Clojure, RxJava (1+2), Reactor, FunctionalJava, Guava, Dexx & Vavr
  ☆441Updated 2 years ago
• GlenKPeterson / Paguro
  Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM
  ☆319Updated 3 months ago
• diffplug / durian
  Guava's spikier (unofficial) cousin
  ☆288Updated 9 years ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆105Updated 2 years ago
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆784Updated 4 months ago
• poetix / octarine
  Java 8 functional magic
  ☆88Updated 3 years ago
• bodar / totallylazy
  Another functional library for Java
  ☆318Updated 3 years ago
• npryce / make-it-easy
  A tiny framework that makes it easy to write Test Data Builders in Java
  ☆160Updated 8 months ago
• jparsec / jparsec
  Build parsers in Java
  ☆349Updated last month
• RichardWarburton / lambda-behave
  A modern testing and behavioural specification framework for Java 8
  ☆254Updated 3 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆153Updated 6 years ago
• pure4j / pure4j
  Compile-Time Purity and Immutability Semantics For The Java Language
  ☆177Updated 6 years ago
• policeman-tools / forbidden-apis
  Policeman's Forbidden API Checker
  ☆358Updated 2 months ago
• usethesource / capsule
  The Capsule Hash Trie Collections Library
  ☆410Updated 2 months ago
• infinitest / infinitest
  Infinitest: The Continuous Test Runner for the JVM
  ☆593Updated 8 months ago
• gaul / modernizer-maven-plugin
  Detect uses of legacy Java APIs
  ☆384Updated last week
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆122Updated 6 months ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆147Updated 7 years ago
• rawls238 / Scientist4J
  A port of Github's Refactoring tool Scientist in Java
  ☆341Updated 2 months ago
• lambdista / try
  Implementation of the Try-Success-Failure Scala API for Java
  ☆111Updated 10 years ago
• jqno / equalsverifier
  EqualsVerifier can be used in Java unit tests to verify whether the contract for the equals and hashCode methods is met.
  ☆735Updated this week
• spotify / java-hamcrest
  Libraries that extend the Hamcrest matching library with useful matchers
  ☆85Updated last year
• ObjectLayout / ObjectLayout
  Java classes designed with optimizable object layout in mind
  ☆409Updated last year
• ota4j-team / opentest4j
  Common Java exception classes to represent test failures. Maintained by the JUnit team.
  ☆298Updated last week