I’ve been using ocaml-ctypes very heavily over the last month and, as far as binding C goes, quite awesome. It still sucks horribly to have to bind C, but it takes a lot of the pain out of the process.