Search Gradle plugins

Release-engineering tasks (RC tagging, promotion, changelog generation) for a develop/release/main git flow.

• #versioning
• #release
• #changelog
• #ci

Lazy cacheable Kotlin SDK source generation backed by the shared SDKGen engine.

• #kotlin
• #openapi
• #sdk
• #code-generation

Expands Java star imports with ClearSkies, using the same engine as the CLI and Maven plugin.

• #java
• #imports
• #star-imports
• #wildcard

Generate Java classes for a given LionWeb Language definition

• #lionweb
• #language engineering
• #mde

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

• #verification
• #testing
• #model-checking
• #formal-methods
• #jbmc
• #bmc

Adds Spex core and the spex JUnit Platform engine to the consuming project's test suite, configured against JUnit Jupiter. Requires that the consumer has applied a JVM plugin (java-library, java, or application) first.

• #spex
• #testing
• #junit
• #junit-platform
• #test-engine

Static analysis for Spring Boot projects using the SpringSentinel core engine.

• #spring
• #spring-boot
• #static-analysis
• #security
• #architecture

A Gradle plugin to generate HTML report of Azuki scenario results

• #azuki

A Gradle plugin to generate stub classes from the structure of a VDM specification

• #vdm

Gradle plugin to provide hibernate-tools reverse engineering and code/schema generation abilities.

• #hibernate
• #tools
• #reverse engineering
• #reveng
• #generation