And more mini-languages which are implemented in Ocaml, here:

https://github.com/andrejbauer/plzoo