Perhaps mincaml: https://github.com/esumii/min-caml https://github.com/esumii/min-caml It's a small (few thousand lines), rather neat, weakly optimising compil

Perhaps mincaml: https://github.com/esumii/min-caml https://github.com/esumii/min-caml It's a small (few thousand lines), rather neat, weakly optimising compiler for a subset of OCaml, written in OCaml. It has more than one backend, a few optimisations, a register allocator. No SSA form or 'advanced' stuff though.