Block or report user



Popular repositories

  1. DEPRECATED-MediaWiki-Extension--UserAdmin

    UserAdmin is a MediaWiki extension which allows administrators to add and delete users, change user passwords, edit user details, edit user groups, resend emails (e.g. reset password email or welco…

    PHP 5 16

  2. effectful-demo

    A demonstration library and ongoing sandbox project for effectful services.

    Scala 5

  3. DEPRECATED-TI3WikiMap-Images

    The image library used to render Twlight Imperium 3 board games maps.


  4. s_mach.fsm

    s_mach.fsm is an open-source Scala library designed to support creation of functional, composable, streamable and recoverable state machines. s_mach state machines can be composed together to form …

    Scala 2

  5. persistmap

    An experimental fully persistent Map that reifies time in collection access in Scala

    Scala 2

  6. DEPRECATED-MediaWiki-Extension--SafePHP

    SafePHP is a Mediawiki extension that allows users to write PHP scripts in pages without comprising server security.

    PHP 1

447 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Seeing something unexpected? Take a look at the GitHub profile guide.