Gradle plugin to use the Checker Framework for Java
☆73Mar 2, 2026Updated 7 months ago
Alternatives and similar repositories for checkerframework-gradle-plugin
Users that are interested in checkerframework-gradle-plugin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pluggable type-checking for Java☆1,150Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- ☆25Sep 20, 2024Updated 2 years ago
- Gradle plugin to use the error-prone compiler for Java☆406Updated this week
- slf4j with Java 8 lambda☆24Sep 2, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Gradle Plugin Collection☆269Updated this week
- Kotlin idiomatic API for java.nio.file☆12Sep 15, 2026Updated 3 weeks ago
- Poll JMX attributes from the command line☆17Sep 4, 2012Updated 14 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆15Nov 15, 2021Updated 4 years ago
- This Gradle plugin helps working with the Java Platform Module System☆237Oct 5, 2026Updated last week
- Static checker for Rx Threading Effects, based on the Checker Framework☆34Oct 13, 2018Updated 8 years ago
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆211Updated this week
- Add a mixin environment to ModLauncher (1.17)☆19Jul 25, 2021Updated 5 years ago
- ☆20Dec 5, 2024Updated last year
- 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.
- ☆12Oct 8, 2026Updated last week
- 🃏 A website made to view in-game stats for the mobile game "South Park Phone Destroyer"☆12Dec 12, 2022Updated 3 years ago
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,149Updated this week
- A design system for building modern and elegant desktop applications☆29Aug 10, 2026Updated 2 months ago
- ☆101Updated this week
- A Gradle plugin plugin☆17Sep 3, 2025Updated last year
- Apache Maven Checkstyle Plugin☆97Oct 2, 2026Updated last week
- A Gradle plugin to package stand-alone Java applications for multiple operating systems and architectures with 'jpackage'.☆28Oct 7, 2026Updated last week
- Command-line tool for creating and updating a Maven bom☆33Jan 12, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gradle plugins for managing Liberty profile servers #devops☆52Updated this week
- A bot to keep Bazel dependencies up to date☆71Sep 24, 2026Updated 3 weeks ago
- Attach to another JVM using Java and Java Native Access☆13Mar 14, 2022Updated 4 years ago
- ☆27Apr 26, 2025Updated last year
- [OBSOLETE] Gradle plugin making it easier/safer to use Java annotation processors☆292Jan 27, 2020Updated 6 years ago
- Tests for EditorConfig plugins☆21Apr 5, 2025Updated last year
- Here you can find example how to use sevntu-checkstyle-maven-plugin plugin in Maven and Ant projects☆28Aug 26, 2025Updated last year
- Pluggable type-checking for Java☆30Updated this week
- Plugin to store IJ settings in gradle script☆256Feb 18, 2026Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An unrolled linked list implementation that is written in Java.☆17Mar 30, 2017Updated 9 years ago
- Provides a gradle plugin for finding affected "targets" in a monorepo.☆11Oct 1, 2026Updated 2 weeks ago
- The fifteen puzzle written in V programming language.☆13Jan 26, 2025Updated last year
- Utilities for JDBC☆33Oct 7, 2025Updated last year
- ☆11Jan 3, 2024Updated 2 years ago
- ☆196Updated this week
- A Java implementation of K-Sortable Unique Identifiers (KSUID).☆34Mar 30, 2025Updated last year