Also known as Fstar, F star, FStar
functional programming language inspired by ML and aimed at program verification
Official website
F*: A Proof-Oriented Programming Language
fstar-lang.org →Link to the official site · 25,395 chars · not written by Vinony
Wikidata facts
- Official website
- www.fstar-lang.org
Show 3 more facts
- source code repository URL
- github.com/FStarLang/FStar
- official blog URL
- fstarlang.github.io
- software version identifier
- 0.9.6.0
via Wikidata · CC0
Connections
Language Integrated Query
Entity
Shared Source
Entity
programming language
Entity
type system
Entity
F#
Entity
npm
Entity
Extensible Application Markup Language
Entity
Q21622213
Entity
Q21600523
Entity
TLA+
Entity
Internet
Entity
Linux
Entity
operating system
Entity
Microsoft Windows
Entity
Microsoft
Entity
software
Entity
Q15777
Entity
Q2005
Entity
Java
Entity
computer network
Entity
Categories
2011 softwareAutomated theorem provingCross-platform free softwareDependently typed languagesFunctional languagesHigh-level programming languagesMicrosoft free softwareMicrosoft programming languagesMicrosoft Research.NET programming languagesOCaml programming language familyProgramming languages created in 2011Proof assistantsSoftware using the Apache licenseStatically typed programming languages