My github repositories are here.
I have some small snippets to show how to use OCamlbuild - mainly for my own notes but could be useful for others.
ocaml-build-nvcc-simple shows how to build a CUDA C file and use Ocaml-Ctypes to call the CUDA code from OCaml.
ctypes-static-c-ocamlbuild shows how to build a static library in C, call library functions from OCaml and how to link the static library with OCaml.
LinearRank-ESOP tool - prototype termination analyser from my ESOP 2007 paper.
Z3 Rankfinder - OCaml implementation of Rankfinder (Based on Byron Cooks F# implementation)
Mini-invader is a small toy implementation of the separation logic based Invader tool by the East London Massive (the work prior to the bi-abduction based tool).