Search Gradle plugins

This plugin provides support for JAL (Java Assembly Language) in Gradle projects.

• #jal
• #compiler
• #java
• #jvm
• #bytecode
• #assembly

Plugin that provides implementation for some Java annotation processors. It's useful is apt is disabled, or while using JVM language without annotation-processing support.

• #apt
• #kotlin

A plugin that adds support for compiling and running code in HDL simulators

• #systemverilog
• #hdl
• #hardware
• #verification
• #xcelium
• #questasim
• #svunit

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