Lollimon is a project mainly written in OCaml, it's free.

Lollimon, a monadic concurrent linear logic programming language