Timothy Bourke

muttlight. Search and preview for MailDir files on MacOS

urpal. Urpal is your pal for Uppaal.

checklistings. LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output

tbrk.github.io. GitHub Pages for tbrk

jsoo-viz. Low-level js_of_ocaml interface to vis.js

ocamlgraph-johnson-cycles. Johnson's algorithm to calculate all cycles in a graph

fwrapdata. Stream access to CFMutableData

jsoo-svg-pan-zoom. js_of_ocaml interface to the svg-pan-zoom library

treeplate. XSLT scripts for generating a static web site

mpri-sync-bdd. OCaml Toplevel with BDDs for MPRI Parallélisme synchrone

ocaml-orgmode. Rough-and-ready processing of orgmode headlines with dates

neos-server-ocaml-client. An OCaml client for NEOS server

otlmarks. Simplistic treatment of bookmarks in vim outliner

jsoo-dragdiv. Very basic windowing system for js_of_ocaml-based pages.

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.