Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
☆111Aug 14, 2023Updated 2 years ago
Alternatives and similar repositories for hypothesis-java
Users that are interested in hypothesis-java 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☆516Oct 13, 2020Updated 5 years ago
- A Java library for validating passwords against NIST SP-800-63B requirements.☆26Mar 31, 2019Updated 7 years ago
- Java off-heap byte array to long cache with FIFO eviction semantics.☆10Jan 13, 2017Updated 9 years ago
- Generates 27-character, time-ordered, k-sortable, URL-safe, globally unique identifiers.☆27May 19, 2019Updated 7 years ago
- A reasonably complete implementation of the Universal Scalability Law model.☆204Mar 31, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Property-based testing, JUnit-style☆979Nov 18, 2024Updated last year
- Automatically generate API documentation from Jackson annotated types and javax.ws.rs.* method annotations☆19Mar 31, 2022Updated 4 years ago
- A Java build tool that works seamlessly with modules☆105Feb 5, 2021Updated 5 years ago
- Table-driven testing in JUnit with the readable and expressive TableTest format☆26Updated this week
- A plug-in for the Java compiler that validates a project's package relationships☆148Feb 27, 2023Updated 3 years ago
- generates builder for records☆22May 4, 2026Updated 2 weeks ago
- ☆13Sep 14, 2022Updated 3 years ago
- MIT/GNU Scheme☆12Nov 10, 2024Updated last year
- Iris Java binding☆22Oct 4, 2014Updated 11 years ago
- 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.
- FuzixOS: Even tiny computers deserve Unix☆10Jan 22, 2017Updated 9 years ago
- Lockstitch is an incremental, stateful cryptographic primitive for symmetric-key cryptographic operations (e.g. hashing, encryption, mess…☆12Feb 5, 2026Updated 3 months ago
- Make sure your Maven dependencies have declared, recognized open source licenses☆40Jul 2, 2024Updated last year
- A gRPC service which proxies requests to an HTTP server.☆25Dec 23, 2017Updated 8 years ago
- ☆14Nov 5, 2018Updated 7 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- A bestiary of classes implementing exotic semantics in Java☆134Apr 20, 2023Updated 3 years ago
- Property-based test framework☆85Sep 8, 2025Updated 8 months ago
- ☆13Oct 4, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Gradle plugin to use dependencies from 'module-info.java' files.☆60May 11, 2026Updated last week
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆578Dec 1, 2022Updated 3 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆119Aug 7, 2024Updated last year
- JUnit 5 extensions for AWS☆21Sep 3, 2024Updated last year
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆13May 4, 2015Updated 11 years ago
- ☆28Apr 29, 2026Updated 2 weeks ago
- Jakarta Connectors☆14Apr 13, 2026Updated last month
- Statistical functions in Common Lisp☆15Dec 7, 2011Updated 14 years ago
- CMake enhanced Netlib LAPACK95☆13Jul 13, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.☆15Jan 16, 2023Updated 3 years ago
- Java library for interacting with del.icio.us service☆14Jan 10, 2010Updated 16 years ago
- ☆19Jan 28, 2019Updated 7 years ago
- A Java 6+ annotation processor to validate Spring @Configuration classes☆25Feb 2, 2024Updated 2 years ago
- Better / faster proxy generator than java.lang.reflect.Proxy for Java (require 1.7)☆74Jun 17, 2015Updated 10 years ago
- Thrift on Netty 4.x && Thrift Client Pool☆16Dec 26, 2016Updated 9 years ago
- Example Proteus Project☆11May 27, 2020Updated 5 years ago