Alternatives and similar repositories for hypothesis-java:

Users that are interested in hypothesis-java are comparing it to the libraries listed below

• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆509Updated 4 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago
• bodar / jcompilo
  A pure Java 7+ build tool with advanced compiler features and strong opinions
  ☆38Updated 3 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• diy1 / aspirator
  A simple tool that finds serious bugs in Java exception handler
  ☆124Updated 8 years ago
• poetix / octarine
  Java 8 functional magic
  ☆88Updated 2 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• johnlcox / motif
  Scala-like pattern matching for Java 8
  ☆149Updated 7 years ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆51Updated 3 years ago
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆240Updated last year
• walkmod / walkmod-core
  walkmod: an open source tool to fix coding style issues
  ☆153Updated 2 years ago
• bodar / yatspec
  Yet Another Test Specification Library
  ☆57Updated 3 years ago
• bodar / shavenmaven
  A tiny dependency resolver for Java
  ☆30Updated 3 years ago
• codahale / usl4j
  A reasonably complete implementation of the Universal Scalability Law model.
  ☆201Updated 6 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• pure4j / pure4j
  Compile-Time Purity and Immutability Semantics For The Java Language
  ☆174Updated 6 years ago
• SamirTalwar / FizzBuzz
  Reimplementing lambda calculus in Java 8 for fun and profit.
  ☆17Updated 10 years ago
• puniverse / timewarp
  Virtual Time for the JVM
  ☆62Updated 6 years ago
• poetix / ambivalence
  Either for Java 8
  ☆34Updated 9 years ago
• cognitect-labs / transducers-java
  A Java implementation of Transducers
  ☆120Updated last year
• jlink / how-to-specify-it
  "How to Specify it" in Java and jqwik
  ☆24Updated 3 years ago
• rpau / junit4git
  Junit Extensions for Test Impact Analysis
  ☆44Updated 2 years ago
• markhobson / hamcrest-compose
  Hamcrest matchers for composition.
  ☆30Updated last year
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆145Updated 7 years ago
• opencredo / concursus
  ☆93Updated last year
• mperry / functionalgroovy
  Functional programming in Groovy
  ☆67Updated 9 years ago
• GlenKPeterson / Paguro
  Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM
  ☆312Updated 3 months ago
• usethesource / capsule
  The Capsule Hash Trie Collections Library
  ☆406Updated last year