Mosaic is a project mainly written in OCAML and C++, based on the View license.

a distributed datalog-based database engine