Search Gradle plugins

Plugin Latest Version

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)

Plugin to manage small tasks around plugins, like addons and the godot binary itself.

0.24.0
(31 December 2024)

A Gradle plugin to manage npm projects

3.2.8
(20 December 2024)

Build frontend applications with Node, NPM, Yarn: distribution management, configurable tasks (build, test, publish), additional types, support of NPX.

10.0.0
(29 November 2024)

Manage pip dependencies and use python in gradle build

4.1.0
(09 November 2024)

Manage project versions automatically with git tags

0.7.1
(26 September 2024)

Gradle plugin for managing the build and distribution of internal projects, applications, etc.

8.1.1
(09 September 2024)

Gradle plugin for managing 3rd party licenses.

8.1.1
(09 September 2024)

Gradle plugin used for creating JavaFX projects in a simple and fully configurable way.

1.1.0
(06 September 2024)

Produces binary API dumps and compares them in order to verify that binary API is preserved. Forked plugin with regex filter support.

0.16.3
(22 August 2024)