Hysen LabsFStarLang
★ 3,070FStar
A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].
HYSEN LABS DIRECTORY
FStarLang
Verified repositories, classifications and analysis from the FStarLang organization.
1 curated open-source project