F* is a new programming language created by researchers at Microsoft Research and INRIA. It is based on the ML family of languages and is designed to be a more dependable alternative to existing languages.
The language has a number of features that make it more dependable than other languages. For example, it uses a type system that can help to prevent errors. It also has a system that allows programmers to specify the behaviour of programs. This can help to ensure that programs behave as intended.
The language is still under development, but it is already being used in some research projects. It is also available for download from the Microsoft Research website.