Comment by studius

"Programs written in F* can be translated to OCaml, F#, and C for execution. ... The latest version of F* is written entirely in a common subset of F* and F#, and bootstraps in both OCaml and F#."[1]

[1]- https://en.wikipedia.org/wiki/F*_(programming_language)