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,780Updated this week
• jspecify / jspecify
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
  ☆644Updated last month
• google / compile-testing
  Testing tools for javac and annotation processors
  ☆705Updated last week
• forge / roaster
  A Java Parser library that allows easy parsing and formatting of Java source files
  ☆679Updated last month
• melix / jmh-gradle-plugin
  Integrates the JMH benchmarking framework with Gradle
  ☆684Updated 3 weeks ago
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆766Updated 11 months ago
• google / jimfs
  An in-memory file system for Java 7+
  ☆2,456Updated 2 weeks 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…
  ☆605Updated this week
• openjdk / jol
  https://openjdk.org/projects/code-tools/jol
  ☆944Updated 2 months ago
• jhalterman / typetools
  Tools for working with generic types
  ☆629Updated last year
• bsideup / jabel
  Jabel - unlock Javac 9+ syntax when targeting Java 8
  ☆807Updated last year
• openjdk / valhalla
  https://openjdk.org/projects/valhalla
  ☆559Updated this week
• cache2k / cache2k
  Lightweight, high performance Java caching
  ☆717Updated 2 weeks ago
• brettwooldridge / NuProcess
  Low-overhead, non-blocking I/O, external Process implementation for Java
  ☆726Updated 2 months ago
• google / mug
  A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)
  ☆384Updated this week
• jdbi / jdbi
  The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure…
  ☆2,015Updated last week
• findbugsproject / findbugs
  The new home of the FindBugs project
  ☆761Updated this week
• gunnarmorling / awesome-annotation-processing
  A curated list of resources related to the Java annotation processing API (JSR 269)
  ☆499Updated 3 months ago
• JetBrains / java-annotations
  Annotations for JVM-based languages.
  ☆413Updated last week
• google / caliper
  Micro-benchmarking library for Java
  ☆817Updated 2 months ago
• fizzed / rocker
  Java 8 optimized, memory efficient, speedy template engine producing statically typed, plain java objects
  ☆758Updated 3 weeks ago
• dcevm / dcevm
  Dynamic Code Evolution VM for Java 7/8
  ☆1,804Updated 4 years ago
• tinylog-org / tinylog
  tinylog is a lightweight logging framework for Java, Kotlin, Scala, and Android
  ☆724Updated this week
• apache / commons-collections
  Apache Commons Collections
  ☆692Updated this week
• jOOQ / jOOL
  jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple s…
  ☆2,101Updated 6 months ago
• randoop / randoop
  Automatic test generation for Java
  ☆554Updated last week
• lvc / japi-compliance-checker
  A tool for checking backward API/ABI compatibility of a Java library
  ☆373Updated last year
• carrotsearch / hppc
  High Performance Primitive Collections for Java
  ☆996Updated 7 months ago
• immutables / immutables
  Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JS…
  ☆3,459Updated last month
• vigna / fastutil
  fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.
  ☆1,844Updated 2 months ago