F* é uma nova linguagem de programação criada por investigadores da Microsoft Research e do INRIA. Baseia-se na família de linguagens ML e foi concebida para ser uma alternativa mais fiável às linguagens existentes.
A língua tem uma série de características que a tornam mais fiável do que outras línguas. Por exemplo, utiliza um sistema de tipo que pode ajudar a evitar erros. Tem também um sistema que permite aos programadores especificar o comportamento dos programas. Isto pode ajudar a garantir que os programas se comportam como pretendido.
A língua ainda está em desenvolvimento, mas já está a ser utilizada em alguns projectos de investigação. Está também disponível para download a partir do website de Investigação da Microsoft.