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

Ecosystem
1

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

2

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.