My personal programs and libraries, written in ocaml


A web interface for exploring metamath proofs


Types ascii that has been received on stdin (can replace xdotool in some scenarios)


Manage and search recipe files


Hopefully easy to use tools for making simple static web pages


Common commands that programs with parses often need


A library for processing command arguments


A library for parsing and printing annotated paragraphs


A simple parsing library with decent error messages


A template for adding new commands to the `me` super-command


Print single-sided documents in a double-sided way


A library for running computer farkle strategies


Play euchre over the internet in a terminal


A text editor written and configured in ocaml


A minimal collaborative plaintext editor - notepad.exe for the internet

1 / 2