FStarLang's repositories
fstar-mode.el
Emacs support for F*
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
pulse-tutorial-24
Files and devcontainer for POPL 24 Tutorial on Pulse
pulse-sandbox
A repo to get started with Pulse, with a devcontainer