The latest version of F* is written entirely in F*, and bootstraps in OCaml and F#. It is open source and under active development on GitHub. A detailed description of this new F* version is available in a POPL 2016 paper. You can learn more about F* by following the online tutorial. Our recent ML workshop and HOPE talks on F* are available on YouTube.