robbinch

Papers

A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

kobo-utils

SSH client for Kobo Aura One

travis-nix-proot

A helper script for testing with Nix on Travis CI without sudo

papers-1

A Git annex repository of papers

zim-parser

Haskell library for parsing ZIM files

articles

Miscellaneous articles. The readme is the table of contents.

doom-emacs

An Emacs framework for the stubborn martian hacker

haskell-nix

Nix and Haskell in production

haskell-papers-ereader

Haskell papers optimized for my e-reader.

hpack

hpack: An alternative format for Haskell packages

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

nixpkgs

Nix Packages collection

sensei

stack

The Haskell Tool Stack

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

tinc

A dependency manager for Haskell

wiki

Personal knowledge base

zim-server

Webserver that serves ZIM files locally