Alternatives and similar repositories for hypothesis-java

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

• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• diy1 / aspirator
  A simple tool that finds serious bugs in Java exception handler
  ☆125Updated 8 years ago
• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆512Updated 4 years ago
• walkmod / walkmod-core
  walkmod: an open source tool to fix coding style issues
  ☆153Updated 2 years ago
• pure4j / pure4j
  Compile-Time Purity and Immutability Semantics For The Java Language
  ☆177Updated 6 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated 2 years ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆147Updated 7 years ago
• JetBrains / jetCheck
  Property-based test framework
  ☆82Updated last week
• puniverse / timewarp
  Virtual Time for the JVM
  ☆63Updated 6 years ago
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆241Updated last year
• poetix / octarine
  Java 8 functional magic
  ☆89Updated 2 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated 2 years ago
• johnlcox / motif
  Scala-like pattern matching for Java 8
  ☆150Updated 7 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• mrwilson / byte-monkey
  Bytecode-level fault injection for the JVM.
  ☆226Updated 4 years ago
• Sipkab / jvm-tail-recursion
  Optimizer library for tail recursive calls in Java bytecode
  ☆124Updated 2 years ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆52Updated 3 years ago
• mperry / functionalgroovy
  Functional programming in Groovy
  ☆67Updated 10 years ago
• codahale / usl4j
  A reasonably complete implementation of the Universal Scalability Law model.
  ☆202Updated 6 years ago
• google / Refaster
  ☆54Updated 9 years ago
• JnRouvignac / AutoRefactor
  Eclipse plugin to automatically refactor Java code bases
  ☆175Updated 2 weeks ago
• bodar / shavenmaven
  A tiny dependency resolver for Java
  ☆31Updated 3 years ago
• bodar / jcompilo
  A pure Java 7+ build tool with advanced compiler features and strong opinions
  ☆40Updated 3 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆112Updated 5 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
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆121Updated 3 months ago
• poetix / ambivalence
  Either for Java 8
  ☆35Updated 9 years ago
• gvlasov / inflectible
  Template engine for natural languages that allows using grammatically appropriate word forms
  ☆83Updated 7 years ago
• bodar / yatspec
  Yet Another Test Specification Library
  ☆59Updated 4 years ago
• boundary / fasttuple
  ☆143Updated 3 years ago