Nix Packages collection & NixOS

A wrapper tool for nix OpenGL application [maintainer=@guibou]

Fire-and-forget build system for configuring my Infinity Ergodox

Reverse engineered Linux driver for the FacetimeHD (Broadcom 1570) PCIe webcam

Ergonomic Command Mode for Emacs

A GHC-based Haskell to JavaScript compiler

hoodle : A pen notetaking program written in haskell

Recipes and build machinery for the biggest Emacs package repo

Tiny type-checker with dependent types

A lexical analyser generator for Haskell