My personal programs and libraries, written in ocaml


An implementation of the earlery parsing algorithm in OCaml


A parser generator for the mercury programming language.


A logic programming language implemented in mercury


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

1 / 2