FStarLang

FStar Public
A Proof-oriented Programming Language

F* 2,190 Apache-2.0 205 418 (10 issues need help) 40 Updated Jan 31, 2022
kremlin Public
KreMLin is a tool for extracting low-level F* programs to readable C code

OCaml 313 Apache-2.0 47 27 3 Updated Jan 26, 2022
fstar-mode.el Public
Emacs support for F*

Emacs Lisp 61 Apache-2.0 13 11 3 Updated Jan 6, 2022
fstarlang.github.io Public
The website of all things F*

HTML 7 6 2 4 Updated Dec 28, 2021
atom-fstar Public
Syntax highlighting for F* in Atom Editor

Shell 9 Apache-2.0 5 1 1 Updated Oct 4, 2021
binaries Public
Regular binary builds of F* and compatible versions of Z3

Shell 5 Apache-2.0 0 0 0 Updated Apr 22, 2021
fstar-interactive Public
An F* interactive mode for the atom editor

JavaScript 5 MIT 2 12 1 Updated Jul 16, 2020
fstar-layer Public
Spacemacs layer for fstar (wrapper for fstar-mode.el)

Emacs Lisp 7 4 2 0 Updated Jul 13, 2020
VimFStar Public
A Vim mode for FStar

Vim script 20 8 5 1 Updated Dec 2, 2019
3rdparty Public
Third party libraries

0 1 0 0 Updated Sep 25, 2015

Pinned