lookup> F*

F*

F* is a programming language recognized by GitHub Linguist and used with .fst, .fsti.

programming language

Quick facts

NameF*

Aliasesfstar

Typeprogramming language

Extensions.fst .fsti

MIME type—

What is F*

F* is a programming language recognized by GitHub Linguist and used with .fst, .fsti.

GitHub Linguist classifies F* as a programming language, typically using extensions such as .fst, .fsti.

File extensions:

.fst.fsti

Related extensions

Related languages

Frequently asked questions

F* is a programming language recognized by GitHub Linguist and used with .fst, .fsti.

Common extensions include .fst, .fsti.

Sources & standards

Updated 2026-08-18

Explore this reference