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)

The `flamingock-graalvm-metadata-gradle-plugin` collects Flamingock's metadata during compilation by integrating the annotation processor. This plugin is designed to automate the process of gathering relevant data from annotated code elements.

0.0.5-beta
(17 December 2024)

The `flamingock-metadata-generator` Gradle pluginc collects Flamingock's metadata during compilation by integrating the annotation processor. This plugin is designed to automate the process of gathering relevant data from annotated code elements.

0.0.4-beta
(16 December 2024)

Plugin to streamline connector development using gradle.

0.5.1
(11 December 2024)

This repository aims to bridge the gap between JUnit 5 and Robolectric, enabling developers to leverage the benefits of both frameworks for unit testing Android applications. While Robolectric currently lacks a dedicated JUnit 5 extension, this project proposes a community-driven solution to achieve seamless integration.

0.9.0
(18 November 2024)

Lilypad Lang integration for Gradle

1.0.0
(18 November 2024)

Code quality Gradle plugin with GitHub pull request integration

3.0.5
(01 November 2024)

Tools for running TestKit tests with Jacoco coverage

0.0.12
(18 September 2024)

The Dependency Graph Analyser (DGA) Connector Plugin is designed for use with Gradle multi-project builds. It collects module dependency data from all Gradle projects within the build and exports this information in a format compatible with the DGA CLI tool for further analysis and visualisation. The plugin is typically applied using a Gradle init script, making it easy to integrate into existing builds without modifying individual project configurations.

0.1.5
(13 September 2024)

Gint - Gradle Integration Test and Automation Framework

3.8.8
(12 August 2024)