Stars
A Dependently Typed Functional Programming Language
Anti cheating plugin for Minecraft (Bukkit/Spigot).
Bukkit plugin for maintaining borders for your worlds to limit their sizes, as well as generating missing chunks or trimming excess chunks.
🛡️ Protect your Minecraft server and lets players claim areas
Essentials - Minecraft server command mod - Adds over 100 commands for use in-game to help manage a server
Prism is a rollback/grief management tool for Bukkit. See the website for usage.
prophile / game-modeller
Forked from PeterJCLaw/game-modellerFramework for modelling SR competition games.
Framework for modelling SR competition games.
A python wrapper for the minecraft server
srobo / srobo-ide
Forked from PeterJCLaw/srobo-ideStudent Robotics' Web IDE
Frogatto & Friends is an action-adventure game, starring a certain quixotic frog.
Experimental frontend to the Student Robotics IDE
prophile / mineserver
Forked from fador/mineserverCustom Minecraft Alpha server software written in C++ for Windows and Linux