Can we get visual studio support

[Xyncgas]

Mixing F# Fstar would be fun

[kant2002]

You can try https://github.com/kant2002/FStarMSBuildSdk this is still limiting, but maybe that allow you to get started? Also take a look at https://github.com/kant2002/fstarsample

[nikswamy]

See https://github.com/FStarLang/fstar-vscode-assistant