Search Gradle plugins

Plugin Latest Version

org.dafny.dafny

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.1.0
(11 May 2023)

de.lancom.genesis.java

Plugin for basic configuration of Java based Gradle projects

2.0.13
(08 April 2023)

com.softicar.gradle.java.library

This plugin applies the Gradle Java Library plug-in and applies some tweaks.

4.0.5
(06 February 2023)

com.netflix.nebula.java-cross-compile

Gradle Java Cross-Compile Plugin

8.0.0
(04 January 2023)

org.smartbit4all.platform.gradle.java

Generic plugin for use with smartbit4all based projects, adds Java dependencies.

0.4.1
(14 November 2022)

no.tritt.java-preview-conventions

Tritt Java Preview Conventions

0.3.5
(31 October 2022)

no.tritt.java-conventions

Tritt Java Conventions

0.3.5
(31 October 2022)

io.specgen.java.gradle

A plugin that integrates specgen Java code generation into the Gradle build process.

2.1.2134
(17 October 2022)

de.jjohannes.java-module-testing

A plugin to test Java Modules (whitebox and blackbox) without the hassle.

0.2
(18 August 2022)

de.jjohannes.extra-java-module-info

Define additional module information

0.16
(18 August 2022)