Alternatives and similar repositories for checker-framework

Users that are interested in checker-framework are comparing it to the libraries listed below

• INRIA / spoon
  Spoon is a metaprogramming library to analyze and transform Java source code. is made with , and . It parses source files to build a we…
  ☆1,829Updated this week
• google / jimfs
  An in-memory file system for Java 7+
  ☆2,487Updated last week
• jspecify / jspecify
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
  ☆778Updated last month
• google / flogger
  A Fluent Logging API for Java
  ☆1,462Updated last week
• forge / roaster
  A Java Parser library that allows easy parsing and formatting of Java source files
  ☆685Updated this week
• google / mug
  A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)
  ☆398Updated this week
• findbugsproject / findbugs
  The new home of the FindBugs project
  ☆765Updated 4 months ago
• melix / jmh-gradle-plugin
  Integrates the JMH benchmarking framework with Gradle
  ☆698Updated last week
• javaparser / javasymbolsolver
  *old repository* --> this is now integrated in https://github.com/javaparser/javaparser
  ☆294Updated 7 years ago
• google / caliper
  Micro-benchmarking library for Java
  ☆816Updated this week
• openjdk / jol
  https://openjdk.org/projects/code-tools/jol
  ☆976Updated last month
• google / compile-testing
  Testing tools for javac and annotation processors
  ☆712Updated this week
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆605Updated last week
• jqno / equalsverifier
  EqualsVerifier can be used in Java unit tests to verify whether the contract for the equals and hashCode methods is met.
  ☆727Updated this week
• jhalterman / typetools
  Tools for working with generic types
  ☆629Updated 2 years ago
• google / re2j
  linear time regular expression matching in Java
  ☆1,213Updated 6 months ago
• easymock / objenesis
  Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…
  ☆614Updated this week
• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆969Updated 7 months ago
• openjdk / jcstress
  https://openjdk.org/projects/code-tools/jcstress
  ☆449Updated 3 weeks ago
• jdbi / jdbi
  The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure…
  ☆2,062Updated this week
• randoop / randoop
  Automatic test generation for Java
  ☆566Updated this week
• openjdk / jmc
  Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc
  ☆906Updated this week
• eclipse-collections / eclipse-collections
  Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
  ☆2,525Updated last week
• google / thread-weaver
  A Java framework for testing multithreaded code.
  ☆307Updated 7 years ago
• siom79 / japicmp
  Comparison of two versions of a jar archive
  ☆738Updated 2 months ago
• javapathfinder / jpf-core
  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…
  ☆570Updated this week
• bsideup / jabel
  Jabel - unlock Javac 9+ syntax when targeting Java 8
  ☆804Updated last year
• gunnarmorling / awesome-annotation-processing
  A curated list of resources related to the Java annotation processing API (JSR 269)
  ☆513Updated 7 months ago
• tinylog-org / tinylog
  tinylog is a lightweight logging framework for Java, Kotlin, Scala, and Android
  ☆746Updated last week
• stefanbirkner / system-rules
  A collection of JUnit rules for testing code which uses java.lang.System.
  ☆549Updated 2 years ago