Alternatives and similar repositories for checker-framework:

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

• openjdk / jol
  https://openjdk.org/projects/code-tools/jol
  ☆951Updated 3 months ago
• jspecify / jspecify
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
  ☆667Updated last week
• forge / roaster
  A Java Parser library that allows easy parsing and formatting of Java source files
  ☆680Updated last week
• apache / commons-collections
  Apache Commons Collections
  ☆698Updated this week
• apache / commons-cli
  Apache Commons CLI
  ☆364Updated this week
• google / compile-testing
  Testing tools for javac and annotation processors
  ☆704Updated this week
• google / jimfs
  An in-memory file system for Java 7+
  ☆2,471Updated this week
• openjdk / jmc
  Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc
  ☆878Updated this week
• melix / jmh-gradle-plugin
  Integrates the JMH benchmarking framework with Gradle
  ☆685Updated 3 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…
  ☆608Updated this week
• siom79 / japicmp
  Comparison of two versions of a jar archive
  ☆728Updated 2 months ago
• carrotsearch / hppc
  High Performance Primitive Collections for Java
  ☆1,001Updated 8 months ago
• openjdk / jcstress
  https://openjdk.org/projects/code-tools/jcstress
  ☆444Updated 3 months ago
• jhalterman / typetools
  Tools for working with generic types
  ☆630Updated last year
• hrldcpr / pcollections
  A Persistent Java Collections Library
  ☆770Updated last year
• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆965Updated 4 months ago
• 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,790Updated this week
• rsocket / rsocket-java
  Java implementation of RSocket
  ☆2,363Updated last month
• vigna / fastutil
  fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.
  ☆1,861Updated 3 months ago
• eclipse-ee4j / jersey
  Eclipse Jersey Project - Read our Wiki:
  ☆701Updated this week
• immutables / immutables
  Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JS…
  ☆3,471Updated 2 months ago
• google / allocation-instrumenter
  A Java agent that rewrites bytecode to instrument allocation sites
  ☆482Updated last year
• google / caliper
  Micro-benchmarking library for Java
  ☆816Updated this week
• clarkware / jdepend
  A Java package dependency analyzer that generates design quality metrics.
  ☆672Updated 4 years ago
• artyushov / idea-jmh-plugin
  Plugin for Itellij IDEA to make benchmarking with JMH easier.
  ☆446Updated 6 months ago
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆588Updated last week
• cache2k / cache2k
  Lightweight, high performance Java caching
  ☆724Updated last month
• apache / commons-csv
  Apache Commons CSV
  ☆388Updated this week
• bsideup / jabel
  Jabel - unlock Javac 9+ syntax when targeting Java 8
  ☆805Updated last year
• functionaljava / functionaljava
  Functional programming in Java
  ☆1,610Updated last year