Block or report user

Popular repositories

  1. modallogic

    Modal Logic Playground

    JavaScript 175 32

  2. formula-parser

    A parser class for simple formulae.

    JavaScript 3 3

  3. logic-grammars

    A warehouse repo of grammar files for symbolic logics.



    A simple personal website.


  5. khan-exercises

    Forked from Khan/khan-exercises

    A framework for building exercises to work with Khan Academy.


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