F* - Programming language

F* is a programming language created in 2014.

#230on PLDB	9Years Old	3.4kUsers
0Books	1Papers	250Repos

F* (pronounced F star) is a functional programming language inspired by ML and aimed at program verification. Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties. Read more on Wikipedia...

F* website
F* Wikipedia page
F* is developed on GitHub and has 2,263 stars
F* docs
There are at least 250 F repos on GitHub

F* first developed in Microsoft Research

file extensions for F* include fst and fsti

The Google BigQuery Public Dataset GitHub snapshot shows 28 users using F in 31 repos on GitHub

Pygments supports syntax highlighting for F*

GitHub supports syntax highlighting for F*

fstar-lang.org was registered in 2014

See also: (7 related languages)Linux, F#, OCaml, Standard ML, ML, C, JavaScript

HTML of this page generated by LanguagePage.ts

Example from hello-world:
module Hello let main = FStar.IO.print_string "Hello World\n"

Keywords in F*

abstract attributes noeq unopteq andbegin by default effect else end ensures exception exists false forall fun function if in include inline inlineforextraction irreducible logic match module mutable new neweffect noextract of open opaque private rangeof reifiable reify reflectable requires setrangeof sub_effect synth then total true try type unfold unfoldable val when with not

Feature	Supported	Token
Binary Literals	✓
Integers	✓
Floats	✓
Hexadecimals	✓
Octals	✓
Conditionals	✓
Functions	✓
Booleans	✓	true false
Print() Debugging	✓	FStar.IO.print_string

F*

F* - Programming language

Keywords in F*

Language features

Publications about F* from Semantic Scholar