HYSEN LABS DIRECTORY

FStarLang

Verified repositories, classifications and analysis from the FStarLang organization.

2 curated open-source projects

FStarLang

FStar

★ 3,124

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].

F*Developer Tools267 forks6 min read

Other language Command line Cross-platform Established

FStarLang

karamel

★ 522

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

OCaml74 forks10 min read