quicktheories / QuickTheories

Related projects ⓘ

Alternatives and complementary repositories for QuickTheories

• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆959Updated this week
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆576Updated 3 weeks ago
• derive4j / derive4j
  Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…
  ☆566Updated last year
• poetix / protonpack
  Stream utilities for Java 8
  ☆479Updated 6 months ago
• aol / cyclops-integration
  Home of the cyclops integration modules : support for Scala, Clojure, RxJava (1+2), Reactor, FunctionalJava, Guava, Dexx & Vavr
  ☆442Updated last year
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆765Updated 8 months ago
• jasongoodwin / better-java-monads
  ☆268Updated 6 years ago
• hcoles / pitest
  State of the art mutation testing system for the JVM
  ☆1,702Updated last week
• GlenKPeterson / Paguro
  Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM
  ☆312Updated 8 months ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆103Updated last year
• gaul / modernizer-maven-plugin
  Detect uses of legacy Java APIs
  ☆371Updated 3 weeks ago
• jparsec / jparsec
  Build parsers in Java
  ☆342Updated 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.
  ☆710Updated this week
• RichardWarburton / lambda-behave
  A modern testing and behavioural specification framework for Java 8
  ☆253Updated 2 years ago
• ThreeTen / threeten-extra
  Provides additional date-time classes that complement those in JDK 8
  ☆397Updated 4 months ago
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆240Updated last year
• Byte-Lab / JCoz
  JCoz -- A Java causal profiler
  ☆273Updated 8 months ago
• ota4j-team / opentest4j
  Common Java exception classes to represent test failures. Maintained by the JUnit team.
  ☆285Updated this week
• rawls238 / Scientist4J
  A port of Github's Refactoring tool Scientist in Java
  ☆343Updated 9 months ago
• yegor256 / qulice
  Quality Police for Java projects: aggregator of Checkstyle and PMD
  ☆301Updated this week
• infinitest / infinitest
  Infinitest: The Continuous Test Runner for the JVM
  ☆587Updated 2 weeks ago
• nhatminhle / cofoja
  Contracts for Java
  ☆153Updated 5 years ago
• npryce / make-it-easy
  A tiny framework that makes it easy to write Test Data Builders in Java
  ☆157Updated 5 years ago
• policeman-tools / forbidden-apis
  Policeman's Forbidden API Checker
  ☆325Updated last month
• moditect / jfrunit
  A JUnit extension for asserting JDK Flight Recorder events
  ☆314Updated last year
• diffplug / durian
  Guava's spikier (unofficial) cousin
  ☆281Updated 8 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆114Updated 6 months ago
• TNG / JGiven
  Behavior-Driven Development in plain Java
  ☆437Updated this week
• TNG / junit-dataprovider
  A TestNG like dataprovider runner for JUnit with many additional features
  ☆246Updated last year
• spotify / java-hamcrest
  Libraries that extend the Hamcrest matching library with useful matchers
  ☆84Updated 9 months ago