F* je nový programovací jazyk vytvořený výzkumníky ze společností Microsoft Research a INRIA. Vychází z rodiny jazyků ML a je navržen jako spolehlivější alternativa ke stávajícím jazykům.
Jazyk má řadu vlastností, díky nimž je spolehlivější než ostatní jazyky. Používá například typový systém, který může pomoci předcházet chybám. Má také systém, který programátorům umožňuje specifikovat chování programů. To může pomoci zajistit, aby se programy chovaly tak, jak bylo zamýšleno.
Jazyk je stále ve vývoji, ale již se používá v některých výzkumných projektech. Je také k dispozici ke stažení na webových stránkách Microsoft Research.