Jeremy Shaw

idris-blink. A simple Idris program to blink the LED on an Arduino

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

hyperdrive. A fast, low-level HTTP server you can trust

idrOS. An OS written in Idris (eventually...)

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

minecraft-data. library for creating minecraft levels and commands

deckofcards. How to model of Deck of Cards in Haskell

isomaniac. Haskell

nix-haskell-tutorial. A complete tutorial for developing and deploying Haskell web applications using Nix and Nixops

ircbot. A simple haskell ircbot library. I have better ideas now, but this one is needed to support clckwrks-plugin-ircbot for now.

snap-web-routes-demo. modify the default snap project to include a web-route

relatable. a pure, strongly typed relational algebra library

hackage-whatsnew. Diff a local cabal working directory against its latest counterpart on hackage and report any differences

timeout. IO with timeouts

acme-http. winning the PONG benchmark at all costs

hyperdrive-book. Let's implement a web server in Haskell!

safe-length. Tired of accidentally calling length on tuples? Relief at last!

stackulator. A little calculator which combines RPN (reverse polish notation) style calculators with a LambdaPi dependent-type system.

stripe-api-gen. Generate Haskell bindings to the stripe API

formlets. Haskell Formlets

pipes-process. A pipes based interface to System.Process

stripe-haskell. Stripe API for Haskell

agda-blinkomatic. make virtual lights blink on and off using FRP

Idris-dev. A Dependently Typed Functional Programming Language

stackulator-hs. Haskell version of stackulator

servant-demo. A fork of the standard servant tutorial

servant-isomaniac. Haskell

pipes-extra. Pipe utilities

hamlet. Haml-like template files that are compile-time checked

stripe. Yet Another Stripe library for Haskell

cabalsdist. cabal sdist wrapper for nix

fb. Bindings for Facebook's API.

digestive-functors. A general way to consume input using applicative functors

ponyfolder. Haskell