Block or report user


@scala @scalaz @functionaljava @idris-hackers @fantasyland @purescript-contrib

Popular repositories

  1. roy

    Small functional language that compiles to JavaScript.

    JavaScript 759 62

  2. bilby.js

    Serious functional programming library for JavaScript.

    JavaScript 545 18

  3. toggle-osx-shadows

    Tiny tool to toggle window shadows on OS X

    C 397 28


    OS X application to draw a border around the focused window

    Objective-C 173 11

  5. iridium

    xmonad with the X11 abstracted and configured with Idris

    Idris 154 7

  6. brushtail

    JS AST rewriter for tail call elimination

    JavaScript 124 3

247 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2017

Created a pull request in NixOS/nixpkgs that received 3 comments

azure-image: remove qemu-220

We don't need this according to #16437 Motivation for this change Fixing old issues. Things done Tested using sandboxing (nix.useSandbox on NixOS, …

Created an issue in etorreborre/specs2 that received 8 comments

resource not found on classpath in 3.8.9

Hey Eric, we've found a bug in specs2 introduced around 3.8.9 We have a resource we're trying to require and it's not being found: [error] CAUSED B…

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