- MCBouncer 16 A banning plugin for Minecraft which is open, modular, fair, and unbiased.
- NerdBukkit 5 The Minecraft Server Mod API Implementation Modified by concerned server admins for sublime performance and minimal API modification. Beautiful (*#$.
- Museum-Parser-Server 2 Backend server for the future Museum Gallery Android and iOS App
- orangered 1 Android app to interact with reddit.com
- RedditModPlugin 1 RedditModPlugin
Repositories contributed to
- FreeJournal/freejournal 8 Document publication and public distribution infrastructure.
- runtimeverification/rv-install 0 Unified installer for all Runtime Verification Inc. products
- runtimeverification/error-codes-mvn-plugin 0 Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
- kframework/c-semantics 48 Semantics of C in K
- ocaml/ocaml 748 The core OCaml system: compilers, runtime system, base libraries
Contributions in the last year 33 total Apr 29, 2015 – Apr 29, 2016
Longest streak 2 days May 3 – May 4
Current streak 0 days Last contributed
Apr 8, 2016