FStar

(โ˜… 3,100)

A Proof-oriented Programming Language

File Explorer

Download Latest Version (.zip)

Showing a partial file list โ€” download the zip above to see everything.

  • .gitattributes
  • .gitignore
  • .gitmodules
  • .ignore
  • .merlin
  • CHANGES.md
  • CONTRIBUTING.md
  • flake.lock
  • flake.nix
  • FStar.fst.config.json
  • fstar.opam
  • INSTALL.md
  • karamel
  • LICENSE
  • LICENSE-fsharp.txt
  • Makefile
  • README.md

๐Ÿš€ Installation Guide

1. Get the code
git clone https://github.com/FStarLang/FStar

Downloads the entire project code from GitHub to your computer.

cd FStar

Moves into the project folder you just downloaded.

2. .NET

Medium Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • .NET SDK The SDK required for the dotnet command.
cd examples/algorithms

This project's files live in a subfolder, so move into it first.

dotnet restore

Downloads the packages the project depends on.

dotnet run

Builds the project and runs it immediately.

โœ… After dotnet run, check the message or address shown in the terminal.

3. Rust

Medium
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Rust (rustup) Installing via rustup also installs cargo.
cd pulse/pulse2rust/dpe

This project's files live in a subfolder, so move into it first.

cargo build --release

Compiles the Rust project.

cargo run

Builds and then immediately runs the program.

โœ… If cargo build finishes without errors, it worked. The executable is created under target/.

4. Make

Medium
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Make Usually pre-installed on Linux/macOS. On Windows, install separately (e.g. via MSYS2 or WSL).
cd .scripts/fstardoc

This project's files live in a subfolder, so move into it first.

make

Compiles the code based on the generated build configuration to produce an executable.

โœ… If it finishes without errors, it worked. Try running the generated executable directly.

Today's picks

kubernetes โ˜… 124,518

Production-Grade Container Scheduling and Management

Go
javascript-algorithms โ˜… 196,492

๐Ÿ“ Algorithms and data structures implemented in JavaScript with explanations and links to

JavaScript
uptime-kuma โ˜… 90,222

A fancy self-hosted monitoring tool

JavaScript
transformers โ˜… 164,163

๐Ÿค— Transformers: the model-definition framework for state-of-the-art machine learning model

Python
odysseus โ˜… 85,470

Self-hosted AI workspace.

Python
HelloGitHub โ˜… 171,210

:octocat: ๅˆ†ไบซ GitHub ไธŠๆœ‰่ถฃใ€ๅ…ฅ้—จ็บง็š„ๅผ€ๆบ้กน็›ฎใ€‚Share interesting, entry-level open source projects on Gi

Python
// repository documentation