MinCaml

未踏ソフトウェア創造事業「美しい日本のMLコンパイラ」で教育目的で開発されたMLサブセットのコンパイラ。コンパイラ自体はOCamlで記述されている。今のところはSPARCのアセンブリを吐くようになっている。
言語仕様としてはOCamlをベースに作られているが、型多相やガベコレが存在しない、整数の掛け算が無いなど極めて小さなサブセットになっている。