Property-based testing, JUnit-style
☆980Nov 18, 2024Updated last year
Alternatives and similar repositories for junit-quickcheck
Users that are interested in junit-quickcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Property based testing for Java 8☆517Oct 13, 2020Updated 5 years ago
- Property-Based Testing on the JUnit Platform☆819Updated this week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆736Sep 22, 2025Updated 8 months ago
- State of the art mutation testing system for the JVM☆1,828Updated this week
- Property-based test framework☆86May 15, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Java annotation processor to create immutable objects and builders, for records too. Sweep boilerplate code under the rug!☆3,561May 22, 2026Updated 3 weeks ago
- vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the …☆6,148May 30, 2026Updated 2 weeks ago
- Functional programming in Java☆1,619Apr 25, 2023Updated 3 years ago
- Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.☆110Aug 14, 2023Updated 2 years ago
- A Persistent Java Collections Library☆784Jul 23, 2025Updated 10 months ago
- ☆17Jul 11, 2025Updated 11 months ago
- Awaitility is a small Java DSL for synchronizing asynchronous operations☆4,012Apr 17, 2026Updated last month
- Catch common Java mistakes as compile-time errors☆7,178Jun 8, 2026Updated last week
- Automatic test generation for Java☆593Jun 6, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆577Dec 1, 2022Updated 3 years ago
- An advanced, but easy to use, platform for writing functional applications in Java 8.☆1,328Mar 21, 2023Updated 3 years ago
- Fault tolerance and resilience patterns for the JVM☆4,308Dec 28, 2025Updated 5 months ago
- Stream utilities for Java 8☆485May 7, 2026Updated last month
- EqualsVerifier can be used in Java unit tests to verify whether the contract for the equals and hashCode methods is met.☆738Jun 8, 2026Updated last week
- Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.☆3,700Jun 3, 2026Updated last week
- Home of the cyclops integration modules : support for Scala, Clojure, RxJava (1+2), Reactor, FunctionalJava, Guava, Dexx & Vavr☆440Mar 21, 2023Updated 3 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,233Updated this week
- A Java architecture test library, to specify and assert architecture rules in plain Java☆3,727Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Testcontainers is a Java library that supports JUnit tests, providing lightweight, throwaway instances of common databases, Selenium web …☆8,659Updated this week
- Compile-Time Purity and Immutability Semantics For The Java Language☆179Jan 14, 2019Updated 7 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,631Jul 31, 2022Updated 3 years ago
- A sampling JVM profiler without the safepoint sample bias☆1,254Dec 5, 2023Updated 2 years ago
- An uber-fast parallelized Java classpath scanner and module scanner.☆2,985Jun 5, 2026Updated last week
- Higher kinded types for Java☆122Jan 26, 2026Updated 4 months ago
- Runtime code generation for the Java virtual machine.☆6,853Updated this week
- JVM version of Pact. Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction…☆1,136Updated this week
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Integrates the JMH benchmarking framework with Gradle☆720Mar 26, 2026Updated 2 months ago
- A modern testing and behavioural specification framework for Java 8☆252Feb 22, 2022Updated 4 years ago
- High Performance data structures and utility methods for Java☆3,204Jun 4, 2026Updated last week
- Offheap Java POJOs with guaranteed memory alignment☆193Jul 30, 2013Updated 12 years ago
- "How to Specify it" in Java and jqwik☆26Jan 7, 2022Updated 4 years ago
- JUnit 5 Extension Pack☆615May 29, 2026Updated 2 weeks ago
- jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple s…☆2,119Aug 1, 2024Updated last year