~philipwhite

~philipwhite/me

My personal programs and libraries, written in ocaml

~philipwhite/mmweb

A web interface for exploring metamath proofs

~philipwhite/asciityper

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

~philipwhite/recipes

Manage and search recipe files

~philipwhite/web

Hopefully easy to use tools for making simple static web pages

~philipwhite/lang-comm

Common commands that programs with parses often need

~philipwhite/comm

A library for processing command arguments

~philipwhite/paragraph

A library for parsing and printing annotated paragraphs

~philipwhite/parse

A simple parsing library with decent error messages

~philipwhite/helloworld

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

~philipwhite/sun

Print single-sided documents in a double-sided way

~philipwhite/farkle

A library for running computer farkle strategies

~philipwhite/euchre

Play euchre over the internet in a terminal

~philipwhite/editor

A text editor written and configured in ocaml

~philipwhite/webpad

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

1 / 2