Gradle plugin to use the Checker Framework for Java
☆73Mar 2, 2026Updated 6 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
- Gradle plugin to use the error-prone compiler for Java☆406Sep 11, 2026Updated 2 weeks ago
- Spring Data Module for YugabyteDB.☆18Aug 30, 2021Updated 5 years ago
- Kotlin idiomatic API for java.nio.file☆12Sep 15, 2026Updated last week
- Poll JMX attributes from the command line☆17Sep 4, 2012Updated 14 years ago
- 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.
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆15Nov 15, 2021Updated 4 years ago
- Rescoures for "Mathematical Modeling with Kotlin" talk at KotlinConf 2018☆15Mar 10, 2019Updated 7 years ago
- ☆11Sep 8, 2017Updated 9 years ago
- This Gradle plugin helps working with the Java Platform Module System☆237Sep 10, 2026Updated 2 weeks ago
- 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.☆211Updated this week
- Add a mixin environment to ModLauncher (1.17)☆19Jul 25, 2021Updated 5 years ago
- A gradle plugin for compiling Thrift IDL files using Thrift compiler☆20Jul 9, 2025Updated last year
- ☆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.
- 🃏 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,141Updated this week
- Cucmber JVM Groovy example using gradle!☆28Sep 5, 2015Updated 11 years ago
- A design system for building modern and elegant desktop applications☆29Aug 10, 2026Updated last month
- ☆99Updated this week
- A Gradle plugin plugin☆17Sep 3, 2025Updated last year
- Apache Maven Checkstyle Plugin☆98Updated this week
- Adds NullAway DSL to Gradle Error Prone plugin☆84Sep 11, 2026Updated 2 weeks ago
- A Gradle plugin to package stand-alone Java applications for multiple operating systems and architectures with 'jpackage'.☆28Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Attach to another JVM using Java and Java Native Access☆13Mar 14, 2022Updated 4 years ago
- [OBSOLETE] Gradle plugin making it easier/safer to use Java annotation processors☆292Jan 27, 2020Updated 6 years ago
- Implementation of the same simple microservice on different frameworks☆43Jun 23, 2020Updated 6 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
- Modular Apache commons compress☆14Sep 8, 2026Updated 2 weeks ago
- Pluggable type-checking for Java☆30Updated this week
- Plugin to store IJ settings in gradle script☆255Feb 18, 2026Updated 7 months ago
- Bootstrap 5 spinner/loading/pending indicator for <input>, <textarea> and <select>☆11Mar 11, 2023Updated 3 years ago
- Companion website of "MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform", accepted at ICSE 23☆10Mar 12, 2025Updated last year
- 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.
- Provides a gradle plugin for finding affected "targets" in a monorepo.☆11Aug 27, 2026Updated 3 weeks ago
- Utilities for JDBC☆33Oct 7, 2025Updated 11 months ago
- ☆12Dec 16, 2022Updated 3 years ago
- ☆11Jan 3, 2024Updated 2 years ago
- CentOS Control Panel 2fa module☆13Jul 12, 2025Updated last year
- ☆12Dec 9, 2017Updated 8 years ago
- ☆196Updated this week