bcc Baby C Compiler -- pardon the name :P -- implemented in OCaml. This is an active work in progress.