Block or report user

Organizations

@idris-hackers

Pinned repositories

  1. partly

    A Haskell library and command-line tool to create, inspect, and alter master boot records.

    Haskell 4

  2. falling

    Particle game with universal gravitation!

    Haskell

  3. lens

    Forked from ekmett/lens

    Lenses, Folds, and Traversals

    Haskell

  4. tables

    Forked from ekmett/tables

    A simple in-memory data-store for Haskell - Join us in freenode #haskell-lens

    Haskell

  5. mask

    Collision masks from PBM files for JavaScript.

    JavaScript

  6. Idris-dev

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell

87 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in noisebridge/gung-heap that received 1 comment

Locker shelves

I made locker shelves.

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