Gradle plugin to use the Checker Framework for Java
☆71Mar 2, 2026Updated last month
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,136Updated this week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Gradle plugin to use the error-prone compiler for Java☆398Updated this week
- slf4j with Java 8 lambda☆24Sep 2, 2021Updated 4 years ago
- Gradle Plugin Collection☆266Apr 6, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Spring Data Module for YugabyteDB.☆18Aug 30, 2021Updated 4 years ago
- Kotlin idiomatic API for java.nio.file☆10Mar 17, 2026Updated 3 weeks ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- Library for glob searching in strings.☆24Oct 5, 2025Updated 6 months ago
- This Gradle plugin helps working with the Java Platform Module System☆238Apr 2, 2026Updated last week
- Static checker for Rx Threading Effects, based on the Checker Framework☆34Oct 13, 2018Updated 7 years ago
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆210Updated this week
- ☆20Dec 5, 2024Updated last year
- ☆42Jan 27, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mocword completion for ddc☆14Sep 4, 2025Updated 7 months ago
- Mechanized baselines for various type system features☆18Apr 3, 2026Updated last week
- Poll JMX attributes from the command line☆17Sep 4, 2012Updated 13 years ago
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,074Apr 6, 2026Updated last week
- Apache Maven Checkstyle Plugin☆89Updated this week
- Omnifunc completion for ddc.vim☆14Sep 4, 2025Updated 7 months ago
- Generate TypeScript from Kotlin (or any jvm language) by annotations☆19Apr 13, 2021Updated 5 years ago
- A tool set to help developer to use Guava with Java 8☆11Feb 22, 2021Updated 5 years ago
- Command-line tool for creating and updating a Maven bom☆32Jan 12, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Java Wrapper for Intel's librdrand Library.☆10Apr 24, 2017Updated 8 years ago
- [OBSOLETE] Gradle plugin making it easier/safer to use Java annotation processors☆293Jan 27, 2020Updated 6 years ago
- このアプリケーションはチャレンジパッドの設定を変更することができます。学習兼用環境での改造サポートを提供します。☆12Mar 24, 2026Updated 3 weeks ago
- Orgspace lightweight code challenge.☆12Mar 7, 2023Updated 3 years ago
- An example of consuming Nord Design System in a React project.☆10Feb 4, 2026Updated 2 months ago
- An idiomatic kotlin dataframe toolkit for data engineering tasks of any size dataset☆10Jul 16, 2025Updated 8 months ago
- Moved to https://codeberg.org/java-gi/examples☆25Mar 7, 2026Updated last month
- Provides a gradle plugin for finding affected "targets" in a monorepo.☆11Mar 24, 2026Updated 3 weeks ago
- ☆41Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Nov 15, 2021Updated 4 years ago
- A template project for new Micronaut modules to use☆17Updated this week
- ☆194Updated this week
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- Utilities for JDBC☆31Oct 7, 2025Updated 6 months ago
- Pluggable type-checking for Java☆27Updated this week
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 7 years ago