Sean Leather

zfs-on-mac. My personal ZFS on macOS instructions and scripts

dlist. Difference lists in Haskell

homebrew-pdftk. (UNMAINTAINED) Homebrew Formula for PDFtk Server

ivy. A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

multi-ghc. Tools to support multiple GHC distributions in a Bash shell environment

basic-category-theory. Source for Basic Category Theory by Tom Leinster

font-awesome-type. A Font Awesome data type enumerating all icon classes in Haskell

emgm. Extensible and Modular Generics for the Masses

xformat. Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell

talks. Sources of various talks that I've given

alpha-conversion-is-easy. Lean proof of alpha-conversion is easy

jhc. Read-only mirror of jhc, a Haskell compiler that aims to produce the most efficient programs possible via whole program analysis and other optimizations

ghc-ver. GHC version selection script for Haskell Platform on Mac OS X

splonderzoek. Code for blog entries

haskell-box-view. Simple implementation of the Box View API

generic-deriving-extras. Numerous generic functions that use generic-deriving

sandbox. A collection of experiments with no relevance to anything else

functionalize-functors. A type class for functionalizing functors

jhc-darcs. Read-only mirror of the jhc darcs repository

tts. Lean

network-uri-sandbox. A sandbox for different combinations of network-uri and network dependencies

lean-tutorial. Code from working on the Lean tutorial

bash-config. My bash configuration files

yesod-example-mini. A generated (mini) Yesod reference example

lhs2TeX-haskell. Customized formatting of Haskell in lhs2TeX

pdftk. (UNMAINTAINED) Mirror of PDFtk Server

http-client-request-modifiers. Convenient monadic HTTP request modifiers

church. A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)

ligd. Lightweight Implementation of Generics and Dynamics

texdoc-alfred-workflow. An Alfred2 workflow for calling texdoc

haskell-marketo. Implementation of parts of the Marketo REST API

yesod-example-sqlite. A generated (SQLite) Yesod reference example

haskell-hubspot. Implementation of parts of the HubSpot API

spine. Simple implementation of the generic spine view