Unverified tools.

front-end/ 
  a CakeML front-end written in Haskell.  It tries to give reasonable parse
  and type error messages that include source locations. It includes a rudimentary
  CakeML to OCaml and CakeML to SML translator, currently used for benchmarking.

bytecode/
  an interpreter for CakeML bytecode written in C.  For performance testing.

reg_alloc/
  translated and pretty printed register allocator (with a few changes).

sexpr-bootstrap/
  an alternative bootstrapping process. The translated AST is printed as sexpr
  and fed into an existing cake executable.