Gradle plugin to use the Checker Framework for Java
☆73Mar 2, 2026Updated 8 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,151Updated this week
- Spring Data Module for YugabyteDB.☆18Aug 30, 2021Updated 5 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆12Feb 13, 2023Updated 3 years ago
- Gradle plugin to use the error-prone compiler for Java☆409Updated this week
- Haskell bindings for Bitcoin RPC☆13Apr 4, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This Gradle plugin helps working with the Java Platform Module System☆237Updated this week
- 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.☆27Oct 5, 2025Updated last year
- ☆12Oct 25, 2026Updated last week
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆210Updated this week
- Add a mixin environment to ModLauncher (1.17)☆19Jul 25, 2021Updated 5 years ago
- Template of a module for Mount & Blade II Bannerlord.☆14Dec 28, 2023Updated 2 years ago
- Rescoures for "Mathematical Modeling with Kotlin" talk at KotlinConf 2018☆15Mar 10, 2019Updated 7 years ago
- A simple and easy to use Canvas application☆15Sep 2, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A curated list of awesome Rust code and resources.☆10Aug 28, 2018Updated 8 years ago
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,155Updated this week
- R2DBC wrapper around ADBA: This project is no longer maintained as ADBA efforts were terminated☆17Sep 19, 2019Updated 7 years ago
- Attach to another JVM using Java and Java Native Access☆13Mar 14, 2022Updated 4 years ago
- A tool set to help developer to use Guava with Java 8☆11Feb 22, 2021Updated 5 years ago
- Apache Maven Checkstyle Plugin☆98Updated this week
- Omnifunc completion for ddc.vim☆15Sep 23, 2026Updated last month
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆189Updated this week
- A Gradle plugin plugin☆17Sep 3, 2025Updated 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.
- ☆102Updated this week
- Adds NullAway DSL to Gradle Error Prone plugin☆86Updated this week
- Manage the transcripts of ssh☆12Oct 25, 2014Updated 12 years ago
- [OBSOLETE] Gradle plugin making it easier/safer to use Java annotation processors☆292Jan 27, 2020Updated 6 years ago
- Point cloud registration using PCL☆19Jun 12, 2018Updated 8 years ago
- Command-line tool for creating and updating a Maven bom☆33Jan 12, 2021Updated 5 years ago
- An example project for the nix copy utility☆15Oct 10, 2023Updated 3 years ago
- Detects performed refactorings in the changes in Kotlin code☆20Dec 15, 2025Updated 10 months ago
- ☆12Dec 16, 2022Updated 3 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.
- A Gradle plugin to package stand-alone Java applications for multiple operating systems and architectures with 'jpackage'.☆28Updated this week
- A template project for new Micronaut modules to use☆19Updated this week
- A reactive ui lib for easy MVC☆11Oct 3, 2024Updated 2 years ago
- Music player on JavaFx☆18Apr 20, 2016Updated 10 years ago
- Bootstrap 5 spinner/loading/pending indicator for <input>, <textarea> and <select>☆11Mar 11, 2023Updated 3 years ago
- Ansible role to install & maintain the OpenSSH Daemon☆11Oct 24, 2026Updated last week
- Dimensional correctness☆11Jul 13, 2025Updated last year