Pluggable type-checking for Java
☆1,151Oct 29, 2026Updated this week
Alternatives and similar repositories for checker-framework
Users that are interested in checker-framework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for type annotations in Java☆41Jul 10, 2025Updated last year
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,153Updated this week
- Gradle plugin to use the Checker Framework for Java☆73Mar 2, 2026Updated 7 months ago
- Catch common Java mistakes as compile-time errors☆7,263Updated this week
- SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.☆3,963Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead☆4,126Updated this week
- vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the …☆6,181Updated this week
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- State of the art mutation testing system for the JVM☆1,882Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆12Feb 13, 2023Updated 3 years ago
- Java annotation processor to create immutable objects and builders, for records too. Sweep boilerplate code under the rug!☆3,576Oct 11, 2026Updated 2 weeks ago
- Runtime code generation for the Java virtual machine.☆6,900Oct 23, 2026Updated last week
- A collection of source code generators for Java.☆10,558Updated this week
- An in-memory file system for Java☆2,563Oct 22, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Awaitility is a small Java DSL for synchronizing asynchronous operations☆4,034Apr 17, 2026Updated 6 months ago
- Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.☆6,171Updated this week
- Fluent testing assertions for Java and the JVM☆2,854Updated this week
- 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,963Updated this week
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆620Sep 17, 2026Updated last month
- A Java API for generating .java source files.☆10,828Oct 10, 2024Updated 2 years ago
- Pluggable type-checking for Java☆31Updated this week
- ☆102Oct 23, 2026Updated last week
- Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google…☆9,627Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A high performance caching library for Java☆17,921Updated this week
- GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀☆21,745Updated this week
- Utility libraries for Java☆15Oct 23, 2026Updated last week
- Functional programming in Java☆1,618Apr 25, 2023Updated 3 years ago
- Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.☆2,664Updated this week
- Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…☆630Oct 19, 2026Updated last week
- An uber-fast parallelized Java classpath scanner and module scanner.☆3,021Updated this week
- fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.☆2,251Oct 8, 2026Updated 3 weeks ago
- A Java architecture test library, to specify and assert architecture rules in plain Java☆3,883Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates,…☆2,765Updated this week
- Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, auto…☆5,443Aug 16, 2026Updated 2 months ago
- Keep your code spotless☆5,712Oct 21, 2026Updated last week
- A Persistent Java Collections Library☆790Oct 20, 2026Updated last week
- Java Code Coverage Library☆4,612Oct 20, 2026Updated last week
- Unified Queries for Java☆4,971May 28, 2026Updated 5 months ago
- ☆3,880Oct 16, 2026Updated 2 weeks ago