GitHub is home to over 31 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Used to unify the Game<->Discord<->IRC chat by implementing features DiscordSRV lacked
A simple MOTD plugin for bungee.
The plugin that manages the application and promotion of student applicants.
Common configurations and public keys for our SSH services.
The new ORE IRC Bot, written in Rust.
Web interface for browsing schematics.
Rules for openredstone.org
IRC utility bot
Various scripts for ORE. Clone to ~/bin, and make sure ~/bin is in PATH.
A plugin to automatically program ROMs according to the specifications in a .prog file.
A plugin for flexible command aliases.