All Git Users → FStarLang

3 open source projects by FStarLang

[ Open user page on Github ]

A Proof-oriented Programming Language

✭ 2,171

ocaml F*F#forth shell python verification smt theorem-proving c-language fstar

2. Fstar Mode.el

Emacs support for F*

✭ 51

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

✭ 285

ocaml cryptography verification

1-3 of 3 user projects