Brian McKenna

roy. Small functional language that compiles to JavaScript.

bilby.js. Serious functional programming library for JavaScript.

toggle-osx-shadows. Tiny tool to toggle window shadows on OS X

Honer.app. OS X application to draw a border around the focused window

iridium. xmonad with the X11 abstracted and configured with Idris

nix-files. My NixOS configuration and custom Nix derivations.

brushtail. JS AST rewriter for tail call elimination

node-webgl. WebGL addon for node.js

heroku-buildpack-haskell. Heroku buildpack for Haskell

wat-collection. Collection of "wat" moments in various languages

sonic2. Sonic the Hedgehog 2 in Haskell

osxmonad. Tiling window manager for Mac OS X.

node-cgi. A CGI adaptor for node.js

free-graphs. Generate GraphViz graphs by interpretting free monads.

game-of-comonads.js. Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

bam-idris-blog. Static blog generator in Idris.

haskell-buildpack-demo. Demo of the Heroku Haskell Buildpack

rephrase. Rewrite rules for JavaScript.

tryidris. Try Idris

crosscheck. Using QuickCheck to test functions in other languages/environments.

licentious. License your GitHub repository in seconds

atsboot. A tiny 32 bit kernel written in ATS

eta-android. Quick example of Eta on Android

haskell-jwt. JSON Web Token (JWT) decoding and encoding

language-scala. Pretty printer of Scala

leftpad.hs. Verified left pad

th-pprint. Simplify and render Template Haskell

c4-model. Haskell implementation of C4 model, for specifying software architecture

fo. Overloaded operators for Fantasy Land compatible JavaScript.

purescript-streams. Compositional, streaming I/O library (unfinished)

stl-idris. Code from my StrangeLoop 2014 Idris presentation.

type-search. Hoogle's core type search algorithm, as a library

ray. Roy plugin for Play 2.0

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

nix-command-store-plugin. Arbitrary commands as remote Nix stores

linuxkit-builder. See newer work at https://github.com/nix-community/linuxkit-builder

scrappy. Better Scala for-comprehensions using paradise's annotation macros

kosinski. Compression used in Sonic the Hedgehog

crab-emacs. Emacs minor mode to use Emacs as a Crab remote browsing server.

purescript-webrtc. PureScript WebRTC bindings

confining-strut. Sets an engine independent toString on Functions

blimp. Small Haskell to JVM compiler

editpipe. Edit stdin using an editor before sending to stdout.

fp-course. Functional Programming Course

nix-chromeos. Scripts for working with Nix via a chroot on ChromeOS.

type-algebra. Haskell library for operations on type algebra, e.g. inhabitant counting

eta-scala-interop. Utilities for interoperating with Scala.

purescript-functor-semigroups. Semigroups for instances of the functor hierarchy.