F*

F*

F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.
F * (vyslovená hvězdička F) je funkční programovací jazyk typu ML zaměřený na ověření programu.Jeho typový systém zahrnuje polymorfismus, závislé typy, monadické efekty, zdokonalené typy a nejslabší počet předpokladů.Tyto funkce společně umožňují vyjádření přesných a kompaktních specifikací programů, včetně vlastností funkční korektnosti.Cílem kontroly typu F * je prokázat, že programy splňují jejich specifikace pomocí kombinace řešení SMT a manuálních důkazů.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení ....
f-

Webová stránka:

Funkce

Kategorie

Alternativy F* pro všechny platformy s jakoukoli licencí

F# (programming language)

F# (programming language)

F # je výstižný, expresivní a efektivní funkční a objektově orientovaný jazyk pro .NET, který vám pomáhá psát jednoduchý kód pro řešení složitých problémů.
CamDesk

CamDesk

CamDesk je bezplatný, open source, desktop webový widget, který byl vytvořen jako domácí sledovací aplikace.
Coq

Coq

Coq je asistent kontroly, který vám umožňuje psát matematické důkazy přísným a formálním způsobem a nechat je zkontrolovat jejich správnost počítačem.
Isabelle

Isabelle

Isabelle je asistentem při psaní a kontrole matematických důkazů pomocí počítače.
OCaml

OCaml

OCaml je průmyslový programovací jazyk podporující funkční, imperativní a objektově orientované styly.
Agda

Agda

Agda je funkčně programovací jazyk závislý na typu.Má induktivní rodiny, tj. Datové typy, které závisí na hodnotách, jako je typ vektorů dané délky.
Network Security Toolkit

Network Security Toolkit

Toto zaváděcí ISO živé CD / DVD (NST Live) je založeno na Fedoře.
Hi Security

Hi Security

Hi Security je prvotřídní antivirový program chránící váš telefon Android před všemi virovými útoky.
Cyberwatch

Cyberwatch

Chraňte své servery před zranitelností IT. Cyberwatch zjistí vaše zranitelnosti a automaticky nasadí příslušné opravy zabezpečení.
get2clouds

get2clouds

Šifruje data dvakrát pomocí šifrování RC4 a odešle je přes zabezpečenou vrstvu soketu (https).Toto šifrování typu end-to-end (E2E) znemožňuje zachycení nebo přístup k datům kdokoli jiný než uživatel.
Masked Cache

Masked Cache

Zdarma a snadno použitelný web, který umožňuje předávání hesel, uživatelských jmen, zabezpečených certifikátů a dalších citlivých údajů přátelům a kolegům