Search Gradle plugins

Plugin	Latest Version
org.protelis.protelisdoc A plugin that translates Protelis modules to Kotlin code, then generates the function documentation via Dokka #protelis #javadoc #documentation #protelisdoc #dokka #kotlin	3.0.119 (31 October 2025)
org.protelis.protelis2kotlin A plugin that translates Protelis modules into Kotlin collections of functions #protelis #javadoc #documentation #protelisdoc #dokka #kotlin	0.1.2 (06 June 2019)