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

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

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

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

A Gradle plugin for automatically generating models with quicktype on build

• #quicktype-plugin

A binary Gradle convention plugin for Tapsi Box projects that standardizes build logic with Spotless, Detekt, and Kover.

• #kotlin
• #convention
• #spotless
• #detekt
• #kover

Gradle plugin providing typesafe accessors for convention plugins

• #build-logic
• #buildsrc

Plugin for building plugins for IntelliJ IDEs

• #intellij
• #jetbrains
• #idea

Gradle Settings plugin to apply bootstrap manifests for this build. Resolves and parses manifest, adds plugin declaration to pluginManagement and version catalogs to dependencyResolutionManagement.

• #repository
• #private-repository
• #nexus
• #artifactory