HypothesisWorks / hypothesis-javaLinks
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
☆105Updated 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
Sorting:
- Contracts for Java☆154Updated 5 years ago
- A simple tool that finds serious bugs in Java exception handler☆125Updated 8 years ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆177Updated 6 years ago
- Property based testing for Java 8☆512Updated 4 years ago
- Property-based test framework☆82Updated 2 years ago
- walkmod: an open source tool to fix coding style issues☆153Updated 2 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated 2 years ago
- Bytecode-level fault injection for the JVM.☆226Updated 4 years ago
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Lightweight analysis tool for detecting mutability in Java classes☆241Updated last year
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.☆47Updated 7 years ago
- Scala-like pattern matching for Java 8☆150Updated 7 years ago
- Either for Java 8☆35Updated 9 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆318Updated 7 months ago
- eddy - autocorrect for java☆48Updated 9 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Java 8 functional magic☆89Updated 2 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Virtual Time for the JVM☆63Updated 6 years ago
- Optimizer library for tail recursive calls in Java bytecode☆124Updated 2 years ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆40Updated 3 years ago
- Generates 27-character, time-ordered, k-sortable, URL-safe, globally unique identifiers.☆26Updated 6 years ago
- A reasonably complete implementation of the Universal Scalability Law model.☆202Updated 6 years ago
- Functional programming in Groovy☆67Updated 10 years ago
- ☆143Updated 3 years ago
- "How to Specify it" in Java and jqwik☆26Updated 3 years ago
- Test runner for the JVM. Natively supports running tests in parallel. Full stack from UI to class loading. Overcomes a bunch of limitatio…☆73Updated last year
- Executable specifications for Java☆135Updated 4 years ago
- Java code analysis and linting with SQL☆160Updated 7 years ago