FStarLang
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign upRepositories
-
FStar
Verification system for effectful programs
-
kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
-
binaries
Regular binary builds of F* and compatible versions of Z3
-
fstarlang.github.io
The website of all things F*
-
fstar-interactive
An F* interactive mode for the atom editor
-
fstar-layer
Spacemacs layer for fstar (wrapper for fstar-mode.el)
-
fstar-mode.el
Emacs support for F*
-
VimFStar
A Vim mode for FStar
-
atom-fstar
Syntax highlighting for F* in Atom Editor
-
3rdparty
Third party libraries
-
linguist
Forked from github/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!