This project converts structured Lean code into an interactive browser game.

A headless NES emulator in Reason

niceql gem repo. Nice, colorized SQL formatting in ruby.

FRM framework on top of Opaleye

A Haskell-based library for algorithmic and automated composition. This library was the subject of my dissertation at Yale university and is the subject of my ongoing work.

The Best Buy API Playground is an API training tool for students, educators and other learners to explore the possibilities of a fully functional RESTful API in a simple, non-production environment.

error notification to rollbar.com

Safe, consistent, and easy exception handling

Create Android: Netrunner decklists in Emacs

Utility monad stack to be used in servant

App to manage pair programming sessions

Lazy loading of 'interesting' ActiveRecord model id's, thread-safely and with easy cache reset in testing

Form for conveniently setting hours - allows grouping by day, easy edits, and parsing to JSON.

Raskell is a Ruby VM in Haskell

Sonic Pi - Leuphana WS15/16

Emacs running SonicPi

Manage translation and localization with static analysis, for Ruby i18n

A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.

Resumes generated using the GitHub informations

Team Moon Pie's EPP15 repo

Active Learning Management System using Rails/AngularJS

REST API for any Postgres database

Middleman 3 template for building TIY-branded slideshows with Reveal.js.

The Digital Services Playbook

Lightweight automation and productivity app for OS X