Interestingly, for a while I used some of Aleynikov's code myself, he wrote Oracaml. It hasn't been touched since 2006, doesn't build with the current OCaml or GCC without some hacking, and he's probably not going to be uploading patches from jail! So I restarted the project as OCI*ML on Github.