The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml - View it on GitHub