Search Gradle plugins

Plugin Latest Version

io.vrap.rmf.codegen-plugin

This a code generator for the ramle specification, the supported language for this version is java

0.000000002
(11 July 2018)

io.github.spencerpark.mellowd

Integrate MellowD compilation into the build cycle

1.1.0
(07 January 2017)

org.argus.android-jawa

Gradle Android Jawa Plugin adds jawa language support to official gradle android plugin.

1.0.5
(24 October 2016)

com.medranocalvo.gradle.gradle-kawa-plugin

Language support for Kawa Scheme

0.9
(01 May 2016)

com.medranocalvo.gradle.gradle-android-kawa-plugin

Language support for Kawa Scheme in Android projects

0.9
(01 May 2016)

groovyx.grooid.groovy-android

Adds support for the Groovy language to Android

0.3.6
(24 June 2016)

me.champeau.gradle.groovy-android

Adds support for the Groovy language to Android builds

0.3.4
(31 October 2014)

name.remal.fast-annotation-processors-in-kotlin

Plugin that provides implementation for some Java annotation processors. It's useful is apt is disabled, or while using JVM language without annotation-processing support.

0.32.1
(16 October 2017)

com.verificationgentleman.gradle.hdvl.base

A plugin that adds support for compiling and running code in HDL simulators

0.2.6
(23 July 2023)

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)