F*
AKA fstar
Paradigms
Typing
dependent system, strong typing, full inference
Influenced By
OCaml, Standard ML, F#, Lean, Dafny
File extensions
fst, fsti
External Links
| Type | programming |
| Developed by |
Microsoft Research Institut National de Recherche en Informatique et en Automatique |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | #154 |