F* je nový programovací jazyk vytvorený výskumníkmi zo spoločností Microsoft Research a INRIA. Je založený na rodine jazykov ML a je navrhnutý ako spoľahlivejšia alternatíva k existujúcim jazykom.
Jazyk má niekoľko vlastností, vďaka ktorým je spoľahlivejší ako iné jazyky. Napríklad používa typový systém, ktorý môže pomôcť predchádzať chybám. Má tiež systém, ktorý umožňuje programátorom špecifikovať správanie programov. To môže pomôcť zabezpečiť, aby sa programy správali tak, ako bolo zamýšľané.
Tento jazyk je stále vo vývoji, ale už sa používa v niektorých výskumných projektoch. Je k dispozícii na stiahnutie na webovej stránke Microsoft Research.