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
  ☆968Updated 6 months ago
• derive4j / derive4j
  Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…
  ☆570Updated 2 years ago
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆599Updated this week
• poetix / protonpack
  Stream utilities for Java 8
  ☆481Updated 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
  ☆316Updated 5 months ago
• RichardWarburton / lambda-behave
  A modern testing and behavioural specification framework for Java 8
  ☆255Updated 3 years ago
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆240Updated last year
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆773Updated last week
• gaul / modernizer-maven-plugin
  Detect uses of legacy Java APIs
  ☆383Updated this week
• usethesource / capsule
  The Capsule Hash Trie Collections Library
  ☆408Updated last year
• jasongoodwin / better-java-monads
  ☆269Updated 6 months ago
• jparsec / jparsec
  Build parsers in Java
  ☆345Updated 3 years ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆103Updated last year
• Byte-Lab / JCoz
  JCoz -- A Java causal profiler
  ☆275Updated last year
• diffplug / durian
  Guava's spikier (unofficial) cousin
  ☆286Updated 8 years ago
• aol / cyclops
  An advanced, but easy to use, platform for writing functional applications in Java 8.
  ☆1,327Updated 2 years ago
• npryce / make-it-easy
  A tiny framework that makes it easy to write Test Data Builders in Java
  ☆157Updated last month
• policeman-tools / forbidden-apis
  Policeman's Forbidden API Checker
  ☆350Updated 2 months ago
• bodar / totallylazy
  Another functional library for Java
  ☆318Updated 3 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆119Updated this week
• rawls238 / Scientist4J
  A port of Github's Refactoring tool Scientist in Java
  ☆342Updated last year
• ncredinburgh / JavaForSmallTeams
  Guidance on writing "good" server side java
  ☆70Updated 4 years ago
• functionaljava / functionaljava
  Functional programming in Java
  ☆1,616Updated 2 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.
  ☆722Updated this week
• sirthias / parboiled
  Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
  ☆1,296Updated last week
• google / thread-weaver
  A Java framework for testing multithreaded code.
  ☆308Updated 7 years ago
• approvals / ApprovalTests.Java
  ApprovalTest verification library for Java
  ☆353Updated this week
• spotify / java-hamcrest
  Libraries that extend the Hamcrest matching library with useful matchers
  ☆85Updated last year
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago