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 4 months ago
• HypothesisWorks / hypothesis-java
  Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
  ☆105Updated 2 years ago
• SamirTalwar / Rekord
  Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
  ☆47Updated 8 years ago
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆92Updated 3 years ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated 2 years ago
• KengoTODA / findbugs-slf4j
  A SpotBugs/FindBugs plugin to verify usage of SLF4J
  ☆77Updated 2 years ago
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆34Updated last month
• STAMP-project / pitest-descartes
  Descartes supports developers to improve their test suites by reporting weak spots in covered code
  ☆126Updated 3 months ago
• archifacts / archifacts
  archifacts is a library to extract your architectural concepts out of your application's code
  ☆51Updated last year
• maveniverse / mima
  Minimal Maven reusable one-stop shop library
  ☆49Updated this week
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆118Updated last year
• cl4es / bytestacks
  Turn -XX:+TraceBytecodes output into a FlameGraph compatible stack format
  ☆43Updated 3 months ago
• vandmo / dependency-lock-maven-plugin
  Maven plugin that makes sure that Maven dependency are not accidentaly changed.
  ☆71Updated 2 weeks ago
• bodar / yatspec
  Yet Another Test Specification Library
  ☆59Updated 4 years ago
• codecop / LCD-Numbers-DI-Framework-Kata
  Refactoring LCD Numbers to remove the dependency injection framework.
  ☆18Updated 4 years ago
• bowbahdoe / jresolve-cli
  CLI for resolving dependencies on the JVM
  ☆36Updated 10 months ago
• palantir / assertj-automation
  Automatic code rewriting for AssertJ using error-prone and refaster
  ☆19Updated this week
• netmikey / logunit
  A Java library for unit-testing logging.
  ☆52Updated 2 years ago
• innoq / code-your-model
  allows to document a complex, distributed model in an easy, concise and project-/domain-specific way.
  ☆20Updated 5 years ago
• mkutz / ApproveJ
  A simple implementation of approval testing for the JVM
  ☆26Updated 2 weeks ago
• ExpediaGroup / jarviz
  Jarviz is dependency analysis and visualization tool designed for Java applications
  ☆161Updated this week
• jsalinaspolo / logcapture
  A testing library for asserting logging messages
  ☆26Updated this week
• Bijnagte / spock-genesis
  Mostly lazy data generators for property based testing using the Spock test framework
  ☆95Updated 7 years ago
• takari / maven-timeline
  Takari Maven Timeline
  ☆32Updated 3 weeks ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆113Updated 5 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 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
• nhatminhle / cofoja
  Contracts for Java
  ☆153Updated 6 years ago
• Catalysts / structurizr-extensions
  Extensions for Structurizr
  ☆28Updated 4 years ago
• Mahoney / slf4j-test
  Implementation of SLF4J which allows easy access to logging events in tests
  ☆38Updated 6 years ago