Gradle plugin to use the Checker Framework for Java
☆72Jan 3, 2026Updated 2 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
Sorting:
- Pluggable type-checking for Java☆1,133Feb 26, 2026Updated last week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Nov 15, 2021Updated 4 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Spring Data Module for YugabyteDB.☆18Aug 30, 2021Updated 4 years ago
- Attach to another JVM using Java and Java Native Access☆14Mar 14, 2022Updated 3 years ago
- ☆20Dec 5, 2024Updated last year
- Add a mixin environment to ModLauncher (1.17)☆19Jul 25, 2021Updated 4 years ago
- This Gradle plugin helps working with the Java Platform Module System☆239Feb 20, 2026Updated last week
- Adds NullAway DSL to Gradle Error Prone plugin☆82Updated this week
- Library for glob searching in strings.☆23Oct 5, 2025Updated 5 months ago
- Pluggable type-checking for Java☆27Updated this week
- Jenkins coverage plugin (code and mutation coverage with Cobertura, JaCoCo and PIT)☆38Updated this week
- Java annotation for documenting the @API status of types and members in Java APIs. Maintained by the JUnit team.☆211Feb 24, 2026Updated last week
- Mod that reduces Minecraft resource loading time☆20Nov 19, 2021Updated 4 years ago
- [OBSOLETE] Gradle plugin making it easier/safer to use Java annotation processors☆292Jan 27, 2020Updated 6 years ago
- Utilities for JDBC☆31Oct 7, 2025Updated 4 months ago
- Apache maven☆32Feb 25, 2026Updated last week
- JPassport☆97Feb 11, 2026Updated 3 weeks ago
- Provides content useful for IriusRisk threat modelling, including templates, API scripts, libraries and more.☆16Feb 10, 2026Updated 3 weeks ago
- IP codecs written in Java☆14Nov 13, 2025Updated 3 months ago
- Command-line tool for creating and updating a Maven bom☆32Jan 12, 2021Updated 5 years ago
- An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.☆1,057Feb 7, 2026Updated 3 weeks ago
- Integration between Micronaut and Micrometer☆40Updated this week
- Java Photo Editor☆35Aug 15, 2024Updated last year
- Plugin to store IJ settings in gradle script☆251Feb 18, 2026Updated 2 weeks ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- FluctSDK for Android☆10Updated this week
- Luajit array slice implementation☆20Oct 1, 2012Updated 13 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆42Updated this week
- A clean preset for starship.☆19Sep 22, 2024Updated last year
- simple manhunt for friends.☆11Oct 23, 2021Updated 4 years ago
- Using the Facebook Graph API with React and Flux☆10Dec 5, 2015Updated 10 years ago
- ☆12Dec 16, 2022Updated 3 years ago
- 宅叔黑历史☆11Sep 9, 2018Updated 7 years ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- Developers at Real Kommunity☆10Jan 14, 2020Updated 6 years ago
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated 3 weeks ago
- Trait-based testing library for Grails framework☆10Oct 11, 2025Updated 4 months ago
- Pythonic AMQP library for asyncio☆11Sep 12, 2018Updated 7 years ago