There are more: F* compiles to Ocaml/F#/C/ASM/WASM [1] and it's variant Low*, and ATS [2], which compiles to C. [1] https://www.fstar-lang.org/ [2] http://

There are more: F* compiles to Ocaml/F#/C/ASM/WASM [1] and it's variant Low*, and ATS [2], which compiles to C. [1] https://www.fstar-lang.org/ [2] http://www.ats-lang.org/