Search Gradle plugins

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.

• #dafny
• #verification
• #building

Packages runnable JARs into native executables (Gradle plugin)

• #publishing
• #jar
• #exe
• #elf
• #desktop

A plugin to use Cover Agent in Gradle. https://github.com/Codium-ai/cover-agent?tab=readme-ov-file#installation-and-usage

• #cover-agent
• #code-quality
• #unit-testing

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.

• #flamingock
• #metadata
• #generator

The Gradle Plugin for Version Calculation

• #git
• #version
• #ecplugin

JSON and Markdown reports for Jacoco and JUnit

• #test
• #reports
• #jacoco
• #junit
• #markdown
• #json

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.

• #robolectric
• #junit5
• #junit jupiter
• #androidtesting
• #testing
• #android

This will try streamline android application versioning

• #android
• #versioning
• #tagversion
• #version

A Plugin that configures directory for generated sources

• #source
• #generated
• #src

Can customize the OSS license list.

• #android
• #license