Search Gradle plugins

Gradle plugin which provides platform dependent Z3 dependencies at build time

• #z3
• #smt
• #solver
• #jni

Gradle plugin to set up Miniconda-based Python build environment

• #python
• #miniconda

Develocity® combines acceleration technologies and troubleshooting features with toolchain observability, empowering Gradle Build Tool users to speed up feedback cycles, accelerate troubleshooting, and measure and improve key performance metrics.

• #analytics
• #debugging
• #scans
• #performance
• #insights

Gradle plugin enable use of Kotlin's node/yarn infrastructure for building

• #kotlin
• #javascript
• #typescript
• #kotlin-js
• #kotlin-multiplatform
• #node
• #yarn

Pluing to add UULIB Reckon functionality to Gradle builds

• #reckon
• #label
• #version
• #vcs
• #scm
• #git

Convention plugin for developing Jenkins plugins with Gradle

• #jenkins
• #convention-plugin
• #jenkins-plugin-development
• #build-automation
• #standardization
• #build-logic
• #version-catalog

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 providing typesafe accessors for convention plugins

• #build-logic
• #buildsrc

Gradle plugin that wires generated proto sources into Android builds.

• #protobuf
• #ksp
• #android

A Gradle plugin for automatically generating models with quicktype on build

• #quicktype-plugin