Alternatives and similar repositories for how-to-specify-it

Users that are interested in how-to-specify-it are comparing it to the libraries listed below

• JetBrains / jetCheck
  Property-based test framework
  ☆82Updated 2 years ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆105Updated 2 years ago
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆27Updated last week
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 2 weeks ago
• vandmo / dependency-lock-maven-plugin
  Maven plugin that makes sure that Maven dependency are not accidentaly changed.
  ☆70Updated last week
• takari / maven-timeline
  Takari Maven Timeline
  ☆30Updated 3 months ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆52Updated 3 years ago
• mikemybytes / junit5-formatted-source
  Format-driven parameterized tests for JUnit 5
  ☆69Updated last week
• archifacts / archifacts
  archifacts is a library to extract your architectural concepts out of your application's code
  ☆51Updated 8 months ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated 2 years ago
• adoble / adr-j
  Java based command-line tool for working with Architecture Decision Records
  ☆61Updated 10 months ago
• maveniverse / mima
  Minimal Maven reusable one-stop shop library
  ☆44Updated last week
• bowbahdoe / jresolve-cli
  CLI for resolving dependencies on the JVM
  ☆36Updated 6 months ago
• benjiman / recordmixins
  Playing with Java 14 Records and Interfaces for mixins
  ☆43Updated 3 years ago
• nick-kanakis / perses
  A project to cause (controlled) destruction on your jvm application
  ☆70Updated 4 years ago
• forax / vmboiler
  A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages
  ☆13Updated 10 years ago
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆118Updated last year
• SamirTalwar / Rekord
  Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
  ☆47Updated 7 years ago
• cl4es / bytestacks
  Turn -XX:+TraceBytecodes output into a FlameGraph compatible stack format
  ☆43Updated last year
• netmikey / logunit
  A Java library for unit-testing logging.
  ☆52Updated 2 years ago
• codecop / LCD-Numbers-DI-Framework-Kata
  Refactoring LCD Numbers to remove the dependency injection framework.
  ☆19Updated 4 years ago
• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆512Updated 4 years ago
• KengoTODA / findbugs-slf4j
  A SpotBugs/FindBugs plugin to verify usage of SLF4J
  ☆76Updated 2 years ago
• tomitribe / jamira
  Command-line API for Atlassian JIRA using the Tomitribe CREST library
  ☆13Updated 4 years ago
• bsideup / tinsalver
  Maven Central release helper to keep your private keys private
  ☆26Updated 3 years ago
• mjedynak / pit-idea-plugin
  IntelliJ Idea plugin for PIT mutation testing
  ☆54Updated 2 months ago
• pitest / pitest-junit5-plugin
  JUnit 5 test framework support for Pitest
  ☆75Updated 3 months ago
• microsoft / openjdk-proposals
  A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK
  ☆33Updated last year
• Mahoney / slf4j-test
  Implementation of SLF4J which allows easy access to logging events in tests
  ☆38Updated 5 years ago
• kordamp / gm
  Gum is a Gradle/Maven/JBang wrapper written in Go
  ☆62Updated last year