Pluggable type-checking for Java
☆1,135Apr 3, 2026Updated last 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☆40Jul 10, 2025Updated 8 months ago
- Gradle plugin to use the Checker Framework for Java☆71Mar 2, 2026Updated last month
- Catch common Java mistakes as compile-time errors☆7,152Apr 2, 2026Updated last week
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,070Mar 30, 2026Updated last week
- SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.☆3,851Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- 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,131Apr 1, 2026Updated last week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead☆4,027Updated this week
- State of the art mutation testing system for the JVM☆1,803Mar 27, 2026Updated last week
- Java annotation processor to create immutable objects and builders, for records too. Sweep boilerplate code under the rug!☆3,552Updated this week
- Runtime code generation for the Java virtual machine.☆6,793Apr 1, 2026Updated last week
- Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.☆6,072Apr 1, 2026Updated last week
- A collection of source code generators for Java.☆10,555Apr 3, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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,912Updated this week
- Awaitility is a small Java DSL for synchronizing asynchronous operations☆4,006Feb 26, 2025Updated last year
- An in-memory file system for Java☆2,537Apr 1, 2026Updated last week
- Functional programming in Java☆1,619Apr 25, 2023Updated 2 years ago
- fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.☆2,130Dec 2, 2025Updated 4 months ago
- Enhancing Java Stream API☆2,282Aug 30, 2025Updated 7 months ago
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆609Mar 25, 2026Updated 2 weeks ago
- A Persistent Java Collections Library☆782Jul 23, 2025Updated 8 months ago
- A Java API for generating .java source files.☆10,858Oct 10, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A high performance caching library for Java☆17,599Updated this week
- JUnit 5 Extension Pack☆611Mar 17, 2026Updated 3 weeks ago
- A Java architecture test library, to specify and assert architecture rules in plain Java☆3,650Mar 24, 2026Updated 2 weeks ago
- Fluent testing assertions for Java and the JVM☆2,820Updated this week
- ☆89Mar 30, 2026Updated last week
- GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀☆21,544Updated this week
- Static checker for Java☆87Jan 16, 2025Updated last year
- Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates,…☆2,726Mar 8, 2026Updated last month
- Very spicy additions to the Java programming language.☆13,426Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Janino is a super-small, super-fast Java™ compiler.☆1,323May 31, 2024Updated last year
- Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google…☆8,914Updated this week
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆578Dec 1, 2022Updated 3 years ago
- Fault tolerance and resilience patterns for the JVM☆4,308Dec 28, 2025Updated 3 months ago
- Java Code Coverage Library☆4,522Apr 1, 2026Updated last week
- Java Annotation Indexer☆443Apr 2, 2026Updated last week
- Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, auto…☆5,341Oct 30, 2025Updated 5 months ago