🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусский한국어中文日本語EntityQ5423569· pop 8· linked from 372 articlesF*Also known as Fstar, F star, FStarfunctional programming language inspired by ML and aimed at program verificationWikidata factsOfficial websitewww.fstar-lang.orgSources (4)en.wikipedia.orgfstar-lang.orgwikidata.orggithub.comvia Wikidata · CC0Available in 8 languages中文日本語РусскийNorwegianUzbekzh_yue한국어via Wikidata sitelinks · CC0ConnectionsLanguage Integrated QueryEntityShared SourceEntityCategories2011 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 2011