Block or report user

Popular repositories

  1. prooftoys

    Interactive, web-based visual math assistant

    JavaScript 2

  2. mathtoys

    Mathtoys assistant for high school algebra

    HTML 1

  3. proofdisplay

    HOL Light tactic proof displayer

    OCaml

  4. startstop

    Utility for super-simple creation of LSB-compliant SysV-style init scripts

    C

  5. mathserver

    Server-side stuff for Mathtoys and Prooftoys

    Python

  6. ug-poc

    Forked from universalgiving/ug-poc

    ug PoC

    HTML

674 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.