Gradle plugin to use the Checker Framework for Java
☆72Mar 2, 2026Updated 4 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,139Jun 26, 2026Updated last week
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- ☆25Sep 20, 2024Updated last year
- Gradle plugin to use the error-prone compiler for Java☆400Jun 21, 2026Updated last week
- Gradle Plugin Collection☆268Updated 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.
- Kotlin idiomatic API for java.nio.file☆11Jun 22, 2026Updated last week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- This Gradle plugin helps working with the Java Platform Module System☆239Jun 3, 2026Updated last month
- Static checker for Rx Threading Effects, based on the Checker Framework☆35Oct 13, 2018Updated 7 years ago
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆210Jun 26, 2026Updated last week
- ☆42Jan 27, 2020Updated 6 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,104Jun 22, 2026Updated last week
- Adds NullAway DSL to Gradle Error Prone plugin☆84Jun 19, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Apache Maven Checkstyle Plugin☆91Updated this week
- Gradle plugins for managing Liberty profile servers #devops☆53Jun 24, 2026Updated last week
- 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☆33Jan 12, 2021Updated 5 years ago
- HexPDF is a simple Java class making it easier to use Apache PDFBox for creating pdf documents from your Java application or web-service.…☆12May 9, 2017Updated 9 years ago
- An example project for the nix copy utility☆15Oct 10, 2023Updated 2 years ago
- Java Wrapper for Intel's librdrand Library.☆10Apr 24, 2017Updated 9 years ago
- Example full stack rust project using Sycamore for wasm and actix for backend, implementing BFF and OIDC for authentication.☆12Feb 4, 2023Updated 3 years ago
- ☆27Apr 26, 2025Updated last year
- 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.
- Moved to https://codeberg.org/java-gi/examples☆25Mar 7, 2026Updated 3 months ago
- Modular Apache commons compress☆13Mar 24, 2026Updated 3 months ago
- ☆12Dec 16, 2022Updated 3 years ago
- Plugin to store IJ settings in gradle script☆254Feb 18, 2026Updated 4 months ago
- ☆14Nov 15, 2021Updated 4 years ago
- Bootstrap 5 spinner/loading/pending indicator for <input>, <textarea> and <select>☆11Mar 11, 2023Updated 3 years ago
- A template project for new Micronaut modules to use☆19Jun 25, 2026Updated last week
- ☆195Jun 26, 2026Updated last week
- ☆33Dec 24, 2021Updated 4 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.
- Utilities for JDBC☆33Oct 7, 2025Updated 8 months ago
- Pluggable type-checking for Java☆28Jun 27, 2026Updated last week
- Integration between Micronaut and Redis☆35Jun 25, 2026Updated last week
- Harbor Command Line interface☆15May 23, 2022Updated 4 years ago
- The fifteen puzzle written in V programming language.☆13Jan 26, 2025Updated last year
- Yet another json builder in Golang helping you write json strings safely.☆11Apr 14, 2016Updated 10 years ago
- A companion for the LeanStacks YouTube channel playlist entitled Spring Security Fundamentals.☆12May 16, 2016Updated 10 years ago