F* (programming language)
[ja] F* (プログラミング言語)
[ko] F*
[nb] F*
[ru] F*
[uz] F* (dasturlash tili)
[zh] F*
[zh-yue] F*