F* (dasturlash tili). F* ("F star" deb talaffuz qilinadi) — dasturni tekshirishga qaratilgan funktsional dasturlash tilidir. Bu dasturlarning aniq spetsifikatsiyalarini, jumladan, funktsional toʻgʻriligi va xavfsizlik xususiyatlarini ifodalash imkonini beradi. F* turini tekshirgich SMT yechish va qoʻlda isbotlash kombinatsiyasidan foydalangan holda dasturlar oʻz spetsifikatsiyalariga mos kelishini isbotlashga qaratilgan. F* da yozilgan dasturlarni bajarish uchun OCaml, F# va C ga tarjima qilish mumkin. F* ning oldingi versiyalari JavaScriptga ham tarjima qilinishi mumkin edi. F* ning soʻnggi versiyasi toʻliq F* ning umumiy kichik toʻplamida va OCaml yuklash bloklarida yozilgan. Bu ochiq manba (Apache Litsenziyasi 2.0 ostida) va GitHubda faol ishlab chiqilmoqda.