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

Gradle plugin for generating a code coverage report using Clover.

• #coverage
• #code
• #test
• #clover
• #report
• #metrics

Plugin that computes code coverage on modified code

• #differential
• #diff
• #delta
• #coverage
• #jacoco

Source code metrics report based on the Scent library

• #scent
• #code
• #metrics

Kotlin code quality plugin

• #kotlin

Java code quality plugin

• #java

Java Kotlin code quality plugin

• #quality
• #java
• #kotlin

Code coverage plugin

• #java
• #kotlin
• #test

Code generation gradle plugin for Way navigation library

• #navigation
• #codegen
• #android
• #kmm
• #compose
• #compose-desktop

Plugin for generate java code & markdown doc of Gradle plugins

• #mybatis
• #mysql
• #postgresql
• #markdown