Is there any project leveraging OCaml LLVM binding to generate Nvidia PTX?

I am thinking about making something similar to TensorFlow XLA in OCaml.

Yes, we were using the OCaml LLVM bindings to generate such code at the place where I was doing my masters thesis. Unfortunately, all of that code is proprietary and non-public but yes, it can be done.