HypothesisWorks / hypothesis-java
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
☆103Updated last year
Alternatives and similar repositories for hypothesis-java:
Users that are interested in hypothesis-java are comparing it to the libraries listed below
- A simple tool that finds serious bugs in Java exception handler☆125Updated 8 years ago
- Property-based test framework☆80Updated 2 years ago
- ☆54Updated 9 years ago
- Functional programming in Groovy☆67Updated 9 years ago
- adt4j - Algebraic Data Types for Java☆145Updated 6 years ago
- Property based testing for Java 8☆508Updated 4 years ago
- A sane approach to interacting with an RDBMS in Java☆26Updated 6 years ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆174Updated 6 years ago
- ☆93Updated last year
- A tiny dependency resolver for Java☆30Updated 2 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆312Updated last month
- Tools for type annotations in Java☆38Updated last week
- Scala-like pattern matching for Java 8☆149Updated 7 years ago
- Java 8 functional magic☆88Updated 2 years ago
- Takari Maven Timeline☆23Updated 5 months ago
- A Java implementation of Transducers☆120Updated last year
- Java Code Generator for Idris☆71Updated 8 years ago
- Fast JVM launching without the hassle of persistent JVMs.☆267Updated 11 years ago
- "How to Specify it" in Java and jqwik☆24Updated 3 years ago
- Yet Another Test Specification Library☆57Updated 3 years ago
- walkmod: an open source tool to fix coding style issues☆153Updated 2 years ago
- Virtual Time for the JVM☆62Updated 6 years ago
- A java.util.HashMap compatible map that won't stall puts or gets when resizing☆151Updated 2 years ago
- Contracts for Java☆154Updated 5 years ago
- Either for Java 8☆34Updated 8 years ago
- Nitor Creations Core Components☆22Updated 3 weeks ago
- Lightweight analysis tool for detecting mutability in Java classes☆240Updated last year
- A reasonably complete implementation of the Universal Scalability Law model.☆201Updated 5 years ago
- Generates 27-character, time-ordered, k-sortable, URL-safe, globally unique identifiers.☆26Updated 5 years ago
- ☆142Updated 3 years ago