用 F* 书写的程序可被编译到 OCaml、F# 或 C 加以执行。早期版本的 F* 亦支持编译到 JavaScript。F* 语言本身使用 F* 和 F# 实现，并可从 OCaml 或 F# 引导。它的源码使用Apache协议授权，目前托管在GitHub上。