~philipwhite

~philipwhite/me

My personal programs and libraries, written in ocaml

~philipwhite/ocaml-earley

An implementation of the earlery parsing algorithm in OCaml

~philipwhite/macc

A parser generator for the mercury programming language.

~philipwhite/logic_language

A logic programming language implemented in mercury

~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

1 / 2