Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces.
This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.
SFMLML is an Objective Caml binding to the SFML library (http://sfml-dev.org). The SFML (simple and fast multimedia library) is a multimedia library. This binding allow you to use it in OCaml. This binding is now stable and complete.