FStarLang

Popular repositories

1. FStar

   Verification system for effectful programs

   F* 2.1k 194

2. kremlin

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

   OCaml 301 45

3. fstar-mode.el

   Emacs support for F*

   Emacs Lisp 58 12

4. VimFStar

   A Vim mode for FStar

   Vim script 20 8

5. atom-fstar

   Syntax highlighting for F* in Atom Editor

   Shell 9 4

6. fstarlang.github.io

   The website of all things F*

   HTML 7 5