Search Gradle plugins
| Plugin | Latest Version |
|---|---|
media.barney.cognitive-java
CC-compatible
Registers the cognitive-java-check verification task for Gradle Java projects. |
0.4.0
(09 April 2026) |
media.barney.crap-java
CC-compatible
Registers the crap-java-check verification task for Gradle Java projects. |
0.4.1
(08 April 2026) |
|
IHub Verification Gradle Plugin |
1.9.5
(21 March 2026) |
|
Plugins to ease maven-publish and ivy-publish configuration |
23.1.0
(12 March 2026) |
|
Verifies a nebula publication |
18.4.0
(28 February 2022) |
|
Verification tasks for Minecraft/Fabric/Meteor dev builds. |
0.1.2
(28 January 2026) |
|
A plugin that adds support for compiling and running code in HDL simulators |
0.3.0-beta.1
(13 November 2025) |
|
This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central. |
0.2.0
(10 January 2025) |
|
Post-quantum integrity verification plugin for Android applications using Merkle trees and ML-KEM (CRYSTALS-Kyber) |
1.1.0
(07 March 2026) |
|
Detects Kotlin metadata version drift in dependencies — the kind of mismatch that compiles fine but can cause runtime incompatibilities. Scans fat JARs, nested archives, and AARs recursively. |
0.2.0
(07 March 2026) |