Block or report user

Pinned repositories

  1. lambda

    Macro Lambda Calculus

    JavaScript 18 2

  2. tonnetz

    Forked from cifkao/tonnetz-viz

    Interactive Tonnetz

    JavaScript 1 1

  3. inet-lib

    JavaScript Engine for Interaction Nets


  4. xmm

    Trading Bot for Ripple Network

    JavaScript 10 4

  5. bohm

    Forked from asperti/BOHM1.1

    Bologna Optimal Higher-Order Machine


  6. unspec

    The Unspecified Operating System

    Yacc 1 1

568 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

August 2017

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