Explore @FStarLang Open Source projects

@FStarLang

FStarLang

Stars
3,250
Global Org. Rank 6,548 (Top 3 %)
Registered over 10 years ago
Most used languages

F* 33.3 %

Emacs Lisp
13.3 %

Shell
13.3 %

TypeScript
6.7 %

OCaml
6.7 %

Vim Script
6.7 %

Python
6.7 %

JavaScript
6.7 %

HTML
6.7 %

FStar

A Proof-oriented Programming Language

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

fstar-mode.el

Emacs support for F*

steel

The Steel separation logic library for F*

VimFStar

A Vim mode for FStar

fstar-vscode-assistant

An interactive mode for F* in VS Code

atom-fstar

Syntax highlighting for F* in Atom Editor

fstar-layer

Spacemacs layer for fstar (wrapper for fstar-mode.el)

fstarlang.github.io

The website of all things F*

PoP-in-FStar

The Proof-oriented Programming in F* Book

fstar-interactive

An F* interactive mode for the atom editor

binaries

Regular binary builds of F* and compatible versions of Z3

pulse

The Pulse separation logic DSL for F*

pulse-tutorial-24

Files and devcontainer for POPL 24 Tutorial on Pulse

3rdparty

Third party libraries

pulse-sandbox

A repo to get started with Pulse, with a devcontainer