Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

F* · Vinony

EntityQ5423569· pop 8· linked from 372 articles

F*

Sign in to save

functional programming language inspired by ML and aimed at program verification

Connections

Language Integrated Query

programming language

Extensible Application Markup Language

operating system

Microsoft Windows

computer network

Categories

2011 software Automated theorem proving Cross-platform free software Dependently typed languages Functional languages High-level programming languages Microsoft free software Microsoft programming languages Microsoft Research .NET programming languages OCaml programming language family Programming languages created in 2011

Sources

wikipedia.externallinksexternallink

Proof assistants

Software using the Apache license

Statically typed programming languages

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.32

functional programming

Entitydist 0.34

Entitydist 0.36

Entitydist 0.39

functional logic programming

Entitydist 0.41

Entitydist 0.43

Entitydist 0.44

Entitydist 0.46

Entitydist 0.48

monad transformer

Entitydist 0.48

Entitydist 0.49

Entitydist 0.51

What links here372 pages

program analysis

Fluent Design System

Visual Studio Code

Windows Calculator

proof assistant

Windows Terminal

static program analysis

Jennifer Tour Chayes

Windows Communication Foundation

Christopher M. Bishop

Visual Basic Script

Access Database Engine