Skip to content
View stepcut's full-sized avatar

Organizations

@Happstack @clckwrks @lens @acid-state @seereason @haskell-servant @chicagohaskell @stripe-haskell
Block or Report

Block or report stepcut

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories

  1. idris-blink idris-blink Public

    A simple Idris program to blink the LED on an Arduino

    Makefile 54 3

  2. plugins plugins Public

    Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.

    Haskell 50 17

  3. hyperdrive hyperdrive Public

    A fast, low-level HTTP server you can trust

    Haskell 47 4

  4. idrOS idrOS Public

    An OS written in Idris (eventually...)

    C 17 3

  5. ase2css ase2css Public

    Library and command-line app for parsing Adobe Swatch Exchange files and (optionally) creating a .css file with the values

    Haskell 14

  6. minecraft-data minecraft-data Public

    library for creating minecraft levels and commands

    Haskell 12 2