Alternatives and similar repositories for hypothesis-java

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

• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• poetix / ambivalence
  Either for Java 8
  ☆34Updated 9 years ago
• diy1 / aspirator
  A simple tool that finds serious bugs in Java exception handler
  ☆124Updated 8 years ago
• walkmod / walkmod-core
  walkmod: an open source tool to fix coding style issues
  ☆153Updated 2 years ago
• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆510Updated 4 years ago
• puniverse / timewarp
  Virtual Time for the JVM
  ☆61Updated 6 years ago
• pure4j / pure4j
  Compile-Time Purity and Immutability Semantics For The Java Language
  ☆174Updated 6 years ago
• bodar / jcompilo
  A pure Java 7+ build tool with advanced compiler features and strong opinions
  ☆39Updated 3 years ago
• mrwilson / byte-monkey
  Bytecode-level fault injection for the JVM.
  ☆226Updated 4 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆240Updated last year
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• NitorCreations / CoreComponents
  Nitor Creations Core Components
  ☆22Updated 5 months ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆146Updated 7 years ago
• johnlcox / motif
  Scala-like pattern matching for Java 8
  ☆149Updated 7 years ago
• SamirTalwar / Rekord
  Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
  ☆47Updated 7 years ago
• eclipse-archived / ceylon-ide-intellij
  IntelliJ Plugin for Ceylon
  ☆61Updated 6 years ago
• atomist-attic / rug
  DEPRECATED Runtime for Rugs
  ☆52Updated 7 years ago
• codahale / time-id
  Generates 27-character, time-ordered, k-sortable, URL-safe, globally unique identifiers.
  ☆26Updated 6 years ago
• HdrHistogram / HistogramLogAnalyzer
  ☆43Updated 2 years ago
• jlink / how-to-specify-it
  "How to Specify it" in Java and jqwik
  ☆26Updated 3 years ago
• mperry / functionalgroovy
  Functional programming in Groovy
  ☆67Updated 9 years ago
• typetools / annotation-tools
  Tools for type annotations in Java
  ☆39Updated this week
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year
• cognitect-labs / transducers-java
  A Java implementation of Transducers
  ☆119Updated 2 years ago
• KengoTODA / findbugs-slf4j
  A SpotBugs/FindBugs plugin to verify usage of SLF4J
  ☆75Updated 2 years ago
• puniverse / photon
  ☆27Updated 9 years ago
• opencredo / concursus
  ☆94Updated last year