FStarLang

Repositories

• FStar

  Verification system for effectful programs

  programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant
  F* Apache-2.0 167 1,885 365 (9 issues need help) 25 Updated Aug 12, 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 23 2 Updated Aug 11, 2020

• binaries

  Regular binary builds of F* and compatible versions of Z3
  Shell Apache-2.0 1 4 0 0 Updated Aug 10, 2020

• fstarlang.github.io

  The website of all things F*
  HTML 4 5 1 0 Updated Aug 6, 2020

• fstar-interactive

  An F* interactive mode for the atom editor
  JavaScript MIT 1 6 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,880 0 0 0 Updated Aug 28, 2015