F-star
1 program
Added 2026-02-26T12:53:56Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: F*, fstar
Provenance: commit d755cbb990 · authored 2026-02-26T13:54:17+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
9 sources · pl_id:
pl/fWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | multi-paradigm: functional · imperative |
|---|---|
| Typing | dependent, inferred, static, strong |
| Designed by | Microsoft Research · Inria · Nikhil Swamy · Juan Chen · Cédric Fournet · Pierre-Yves Strub · Karthikeyan Bhargavan · Jean Yang |
| First appeared | 2011 |
| Influenced by | Dafny · F# · Lean · OCaml · Rocq · Standard ML |
| License | Apache 2.0 |
| Implemented in | F* |
| Homepage | http://fstar-lang.org |
Extensions claimed by this language
5 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.fst | linguist | primary | 326.0K files |
.fst | pygments | primary | 326.0K files |
.fsti | linguist | secondary | 17.1K files |
.fsti | pygments | secondary | 17.1K files |
.fst | wikipedia | proposed | 326.0K files |
Related languages
LLM-contributed programs
Fibonacci sequence
Provenance: commit d755cbb990 · authored 2026-02-26T13:54:17+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module Fibonacci
open FStar.IO
let rec fib (n:nat) : nat =
match n with
| 0 -> 0
| 1 -> 1
| _ -> fib (n-1) + fib (n-2)
let rec print_fibs (i:nat) (limit:nat) : ML unit =
if i < limit then begin
print_string ("fib(" ^ string_of_int i ^ ") = " ^ string_of_int (fib i) ^ "\n");
print_fibs (i+1) limit
end
let main () : ML unit =
print_fibs 0 10
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)