Block or report user
  • Budapest, Hungary



Popular repositories

  1. legato

    OSC, MIDI, and more

    CoffeeScript 10 2

  2. nixform

    define terraform infrastructure in nix

    Nix 8 1

  3. fuc

    Functional Utilities for Coffeescript and Javascript

    CoffeeScript 6

  4. furp

    FRP with LiveScript

    JavaScript 5

  5. idris-libuv-example

    code example for using Idris with a libuv-based async C runtime

    Idris 4

  6. lifty

    elevator scheduling simulator

    Elm 3

304 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

June 2017

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