FStarLang/atom-fstar

Stars
10
Rank 1,759,512 (Top 36 %)
Language
Shell
License
Apache License 2.0
Created about 9 years ago
Updated over 2 years ago

FStarLang/atom-fstar

FStarLang

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Syntax highlighting for F* in Atom Editor

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*

VimFStar

A Vim mode for FStar

steel

The Steel separation logic library for F*

fstar-vscode-assistant

An interactive mode for F* in VS Code

fstar-layer

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

fstarlang.github.io

The website of all things F*

fstar-interactive

An F* interactive mode for the atom editor

binaries

Regular binary builds of F* and compatible versions of Z3

pulse-tutorial-24

Files and devcontainer for POPL 24 Tutorial on Pulse

3rdparty

Third party libraries

PoP-in-FStar

The Proof-oriented Programming in F* Book