Mathieu Boespflug

hmk. A pure Haskell implementation of Plan9's mk

cassette. Define a parser. Play it in reverse to get a pretty printer.

choice. A solution to boolean blindness.

dedukti. A type-checker for the λΠ-modulo calculus.

haskell-src-exts-qq. A quasiquoter for haskell-src-exts.

zurihac15-talk-examples. Companion code for Zurihac'15 talk on Cloud Haskell

nixos-docs-mockup. JavaScript

coqine. An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

vCard. A library for parsing/printing vCards from/to various formats.

language-arm. Assembler and dissassembler for ARM in Haskell.

9ph. A pure Haskell implementation of the 9p protocol, server and client.

slurp-registry. Haskell

mime-directory. A library for parsing/printing the text/directory mime type.

bug-ptr-not-in-spt. Haskell

asana-burndown. Burndown charts for Asana.