FStarLang/VimFStar

Stars
23
Rank 988,913 (Top 20 %)
Language
Vim Script
License
Vim License
Created about 9 years ago
Updated about 1 year ago

FStarLang/VimFStar

FStarLang

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

A Vim mode for FStar

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*

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*

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