Macaque is a library for safe and flexible database queries using comprehensions. It is hosted on Ocamlcore's forge. It is still in alpha version. Very few documentation available for now.