Skip to content
View startling's full-sized avatar

Organizations

@idris-hackers

Block or report startling

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. partly partly Public

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

    Haskell 11

  2. falling falling Public

    Particle game with universal gravitation!

    Haskell 1

  3. lens lens Public

    Forked from ekmett/lens

    Lenses, Folds, and Traversals

    Haskell

  4. tables tables Public

    Forked from ekmett/tables

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

    Haskell 1

  5. mask mask Public

    Collision masks from PBM files for JavaScript.

    JavaScript

  6. Idris-dev Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell 1 1