#

dodona-plugin

Here are 3 public repositories matching this topic...

thepieterdc / dodona-plugin-jetbrains

Plugin for JetBrains IDE's to submit exercises to Dodona.

intellij jetbrains intellij-plugin dodona dodona-plugin

Updated Apr 20, 2024
Java

xerbalind / dodona.nvim

A neovim plugin for Dodona.

lua neovim neovim-plugin dodona-plugin

Updated Mar 1, 2024
Lua

terkapokorna31 / tp

Updated Aug 15, 2019

Improve this page

Add a description, image, and links to the dodona-plugin topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dodona-plugin topic, visit your repo's landing page and select "manage topics."