System76 Open Source Embedded Controller

Rust bindings for JACK. A realtime sound server for audio and midi IO

📱 (rebooting... please wait...)

Nix and Haskell in production

Web app deployment manager

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

Haskell papers optimized for my e-reader.

Play diplomacy via HTTP

Interpretation of free monads over functor sums

Poor Man's Concurrency in JavaScript

PostgreSQL interpreter for Relational

Interpret Relational datatypes

Map Haskell datatypes to Relational datatypes

Versioning and migration for Haskell datatypes.

Relational database types for Haskell

Some Nat-indexed types for GHC

Description of concurrent computation with sequential components

Interface for read/write/delete key/value storage

Like a typical Haskell Map, but with a twist

Reusable, versatile, easy authentication

Nag your peers about outstanding pull requests

SMTP client EDSL

Haskell EDSL for declarative queries of graphs.

Applicative/monadic parsing with dependent types

The board game Diplomacy, spoken in Haskell

SMTP client EDSL

A GHC-based Haskell to JavaScript compiler

WebGL FFI for Haste

JavaScript 3D Library.