Support for F* in Visual Studio IDE. - View it on GitHub