Search Gradle plugins
| Plugin | Latest Version |
|---|---|
|
Gradle plugin for seamless integration of javalin-xt into gradle projects. |
1.0.0
(27 January 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) |
|
Basic versioning Gradle config for Arrow projects |
0.12.0-rc.26
(10 January 2025) |
|
Basic Gradle config for Kotlin Arrow projects |
0.12.0-rc.26
(10 January 2025) |
|
Basic formatter Gradle config for Arrow projects |
0.12.0-rc.26
(10 January 2025) |
|
Basic publishing Gradle config for Kotlin Arrow projects |
0.12.0-rc.26
(10 January 2025) |
|
Sets up sensible defaults for our gradle projects to avoid boilerplate |
0.2.81
(08 January 2025) |
|
This gradle plugin will remapped you NMS projects. |
1.1.2
(08 January 2025) |
|
The util to easily define the app version in the property file. Create `version.properties` file at project root level (default) with following properties: `version.code`, `version.major`, `version.minor`, `version.patch`. To define different properties file name or location use `versionPropDef.propertyFile`. |
1.0.0
(04 January 2025) |
|
This gradle plugin will remapped you NMS projects. |
1.0.1
(02 January 2025) |