Krenair/mediawiki-extensions-VisualEditor
Github mirror of MediaWiki extension VisualEditor - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Developer Profile
Krenair
Discovered public repositories for Krenair in the GitHub catalog.
Krenair/php-zmq
ZeroMQ for PHP
Krenair/libnemesis
A library to back nemesis
Krenair/nemesis
Public repository.
Krenair/srobo-ide
the srobo ide
Krenair/Collyers-Student-Robotics-2013
Public repository.
Krenair/userman
Student Robotics user management scripts.
Krenair/SourcePunish
Punishment framework for SourceMod
Krenair/wikimedia-bot
Public repository.
Krenair/mediawiki-extensions-UploadWizard
Github mirror of MediaWiki extension UploadWizard - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Krenair/MWBZTools
Random scripts for doing some things with Wikimedia's Bugzilla and Gerrit instances
Krenair/core
Github mirror of MediaWiki - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Krenair/Reddit-Enhancement-Suite
Reddit Enhancement Suite
Krenair/Hamburglar
A simple tool for comparing minecraft versions
Krenair/Burger
A simple tool for picking out information from the minecraft JARs, primarily useful for developers.
Krenair/BurgerVitrine
A HTML converter for Burger and Hamburglar
Krenair/MCPContributorHelper
A few scripts which might be helpful to other MCP contributors.
Krenair/skybot
Fork of skybot for bot crow on irc.esper.net
Krenair/PyMediaWikiClient
MediaWiki API client written in Python
Krenair/reddit
the code that powers reddit.com
Krenair/PyIRCd
Because I got bored of the java one.
Krenair/bravo
Reverse-engineered Minecraft stuff
Krenair/CraftBukkit
The Minecraft Server Mod API Implementation
Krenair/worldeditcui
Public repository.
Krenair/Bukkit-MinecraftServer
Fork of Bukkit's tools to make the custom normalized minecraft_server.jar
Krenair/JIRCdExamplePlugin
Example plugin for my Java IRC server
Krenair/JIRCd
Java IRC server