FStarLang

Repositories

binaries

Regular binary builds of F* and compatible versions of Z3

Shell Apache-2.0 1 4 0 0 Updated Aug 10, 2020

FStar

Verification system for effectful programs

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant

F* Apache-2.0 167 1,884 364 (9 issues need help) 24 Updated Aug 10, 2020

fstarlang.github.io

The website of all things F*

HTML 4 5 1 0 Updated Aug 6, 2020

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

cryptography verification proofs c-language f-star

OCaml Apache-2.0 41 267 24 2 Updated Aug 6, 2020

fstar-interactive

An F* interactive mode for the atom editor

JavaScript MIT 1 7 12 1 Updated Jul 16, 2020

fstar-layer

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

Emacs Lisp 4 5 2 0 Updated Jul 13, 2020

fstar-mode.el

Emacs support for F*

Emacs Lisp Apache-2.0 11 51 10 3 Updated Jun 24, 2020

VimFStar

A Vim mode for FStar

Vim script 8 17 5 1 Updated Dec 2, 2019

atom-fstar

Syntax highlighting for F* in Atom Editor

Shell Apache-2.0 4 9 1 1 Updated Jul 27, 2018

3rdparty

Third party libraries

1 0 0 0 Updated Sep 25, 2015

linguist

Forked from github/linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Ruby MIT 2,879 0 0 0 Updated Aug 28, 2015