How to download and setup FStar
Open terminal and run command
git clone https://github.com/FStarLang/FStar.git
git clone is used to create a copy or clone of FStar repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with FStar https://github.com/FStarLang/FStar/archive/master.zip
Or simply clone FStar with SSH
[email protected]:FStarLang/FStar.git
If you have some problems with FStar
You may open issue on FStar support forum (system) here: https://github.com/FStarLang/FStar/issuesSimilar to FStar repositories
Here you may see FStar alternatives and analogs
ruby awesomo golang-examples go awesome-cheatsheets CreepyCodeCollection ACM-ICPC-Preparation cs-video-courses julia kotlin influential-cs-books lambdasoup lowlevelprogramming-university elvish Eve sarl rescript-compiler red awesome-compilers haxe Free-Courses solidity gravity sdk dmd coconut ElixirBooks reason awesome-static-analysis ponyc