Search Gradle plugins

Plugin	Latest Version
tokyo.peya.langjal This plugin provides support for JAL (Java Assembly Language) in Gradle projects. #jal #compiler #java #jvm #bytecode #assembly	0.1.0 (24 July 2025)
name.remal.fast-annotation-processors-in-kotlin 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	0.32.1 (16 October 2017)
com.verificationgentleman.gradle.hdvl.base A plugin that adds support for compiling and running code in HDL simulators #systemverilog #hdl #hardware #verification #xcelium #questasim #svunit	0.2.7 (30 June 2024)
org.dafny.dafny 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	0.2.0 (10 January 2025)