Block or report user

Popular repositories

  1. score

    A MediaWiki extension for rendering musical scores with LilyPond

    PHP 9 3

  2. jhilbert

    JHilbert is a a verifier for collaborative theorem proving

    Java 5 2

  3. hilbert-kernel

    The Hilbert Kernel Library, a library for verifying formal proofs

    C 4

  4. pairs

    Concentration game

    Java 1

  5. CASCADE

    Forked from rsnape/CASCADE

    Shared code for CASCADE ABM

    Java

  6. libsml

    Forked from dailab/libsml

    Implementation in C of the Smart Message Language (SML) protocol

    C

26 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

November 2017

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