Pinned Repositories
atom-fstar
Syntax highlighting for F* in Atom Editor
FStar
A Proof-oriented Programming Language
fstar-layer
Spacemacs layer for fstar (wrapper for fstar-mode.el)
fstar-mode.el
Emacs support for F*
fstar-vscode-assistant
An interactive mode for F* in VS Code
fstarlang.github.io
The website of all things F*
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
PoP-in-FStar
The Proof-oriented Programming in F* Book
steel
The Steel separation logic library for F*
VimFStar
A Vim mode for FStar
FStarLang's Repositories
FStarLang/FStar
A Proof-oriented Programming Language
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
FStarLang/fstar-mode.el
Emacs support for F*
FStarLang/steel
The Steel separation logic library for F*
FStarLang/VimFStar
A Vim mode for FStar
FStarLang/fstar-vscode-assistant
An interactive mode for F* in VS Code
FStarLang/PoP-in-FStar
The Proof-oriented Programming in F* Book
FStarLang/atom-fstar
Syntax highlighting for F* in Atom Editor
FStarLang/fstar-layer
Spacemacs layer for fstar (wrapper for fstar-mode.el)
FStarLang/fstarlang.github.io
The website of all things F*
FStarLang/fstar-interactive
An F* interactive mode for the atom editor
FStarLang/pulse
The Pulse separation logic DSL for F*
FStarLang/binaries
Regular binary builds of F* and compatible versions of Z3
FStarLang/pulse-tutorial-24
Files and devcontainer for POPL 24 Tutorial on Pulse
FStarLang/3rdparty
Third party libraries
FStarLang/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
FStarLang/pulse-sandbox
A repo to get started with Pulse, with a devcontainer
FStarLang/fstar_dataset