21 open source projects by puffnfresh

xmonad with the X11 abstracted and configured with Idris

My NixOS configuration and custom Nix derivations.

JS AST rewriter for tail call elimination

WebGL addon for node.js

Sonic the Hedgehog 2 in Haskell

Demo of the Heroku Haskell Buildpack

Code from my StrangeLoop 2014 Idris presentation.

The partiality monad in Idris.

Quick example of Eta on Android

Small functional language that compiles to JavaScript.

Serious functional programming library for JavaScript.

Tiny tool to toggle window shadows on OS X

OS X application to draw a border around the focused window

Compositional, streaming I/O library (unfinished)

Rewrite rules for JavaScript.

A CGI adaptor for node.js

Game of Life written using a Comonadic grid/board and Ncurses.

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

License your GitHub repository in seconds

Static blog generator in Idris.

Collection of "wat" moments in various languages