[go: up one dir, main page]

Skip to content
View prophile's full-sized avatar

Highlights

  • Pro

Organizations

@PratchettLovesYou @oftn-oswg @srobo

Block or report prophile

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

ASN.1 parsing, encoding and decoding.

Python 295 100 Updated Jul 13, 2024

A state machine service.

Python 15 3 Updated Dec 27, 2022

Game for learning how to code.

JavaScript 7,980 4,129 Updated Nov 15, 2024

A Dependently Typed Functional Programming Language

Haskell 3,435 644 Updated Aug 2, 2024

Anti cheating plugin for Minecraft (Bukkit/Spigot).

Java 388 281 Updated Jun 4, 2021

Bukkit plugin for maintaining borders for your worlds to limit their sizes, as well as generating missing chunks or trimming excess chunks.

Java 139 210 Updated Jun 30, 2020

🗺️ Minecraft map editor and mod

Java 3,120 883 Updated Nov 9, 2024

🛡️ Protect your Minecraft server and lets players claim areas

Java 828 543 Updated Nov 9, 2024

Portals implementation for the Bukkit server mod.

Java 6 4 Updated Dec 9, 2013

Essentials - Minecraft server command mod - Adds over 100 commands for use in-game to help manage a server

Java 880 1,305 Updated Feb 12, 2023

Prism is a rollback/grief management tool for Bukkit. See the website for usage.

Java 124 99 Updated Jun 7, 2023

VM setup for a certain Minecraft server

Puppet 2 Updated Feb 26, 2014

Checklists for SR events

1 Updated Jul 22, 2012

A prototype. Of compd.

Python 1 Updated Jul 11, 2012

Program for the Tudor-class SR demobots

Python 2 Updated Jul 27, 2012

Framework for modelling SR competition games.

Python 1 Updated Apr 29, 2012

Framework for modelling SR competition games.

Python 2 1 Updated Apr 29, 2012

A parser library in Python

Python 1 Updated Apr 10, 2012
PHP 1 Updated Feb 6, 2012

A python wrapper for the minecraft server

Python 3 1 Updated Oct 23, 2011

Student Robotics inventory mirror

Fortran 1 Updated Apr 30, 2014

the srobo ide

JavaScript 1 Updated Nov 9, 2011

Student Robotics' Web IDE

PHP 2 5 Updated Jul 18, 2020

Frogatto & Friends is an action-adventure game, starring a certain quixotic frog.

Ruby 619 119 Updated Nov 17, 2024

Experimental frontend to the Student Robotics IDE

CoffeeScript 3 Updated Jan 21, 2013

Go to

C 3,269 653 Updated Jun 27, 2015

Data editor for Xsera, Antares, and Ares

C 6 1 Updated Feb 13, 2018
Haskell 1 Updated Jul 29, 2011
Haskell 2 1 Updated Sep 4, 2011

Custom Minecraft Alpha server software written in C++ for Windows and Linux

C++ 1 1 Updated Jan 28, 2011
Next