F*

F*

F * е ML-подобен функционален език за програмиране, насочен към проверка на програмата.F * може да изрази точни спецификации за програми, включително свойства за функционална коректност.Програмите, написани на F *, могат да бъдат преведени в OCaml или F # за изпълнение.
F * (произнася се F звезда) е ML-подобен функционален език за програмиране, насочен към проверка на програмата.Типната му система включва полиморфизъм, зависими типове, монадични ефекти, видове усъвършенстване и най-слабото условие за смятане.Заедно тези функции позволяват изразяване на точни и компактни спецификации за програми, включително функционални свойства за коректност.Проверката на типа F * има за цел да докаже, че програмите отговарят на техните спецификации, използвайки комбинация от SMT решаване и ръчни доказателства.Програмите, написани на F *, могат да бъдат преведени в OCaml или F # за изпълнение ....
f-

WebSite:

Характеристика

Категории

Алтернативи на F* за всички платформи с всякакъв лиценз

F# (programming language)

F# (programming language)

F # е кратък, изразителен и ефективен функционален и обектно-ориентиран език за .NET, който ви помага да напишете прост код за решаване на сложни проблеми.
CamDesk

CamDesk

CamDesk е безплатен, отворен код, джаджа за уеб камери, създаден като приложение за домашно наблюдение.
Coq

Coq

Coq е асистент по доказателство, който ви позволява да пишете математически доказателства по строг и официален начин и да ги проверявате за коректност от компютъра.
Isabelle

Isabelle

Изабел е помощник по доказателствата за писане и проверка на математически доказателства от компютър.
OCaml

OCaml

OCaml е индустриален език за програмиране на сила, поддържащ функционални, императивни и обектно-ориентирани стилове.
Agda

Agda

Agda е зависим от типа функционален език за програмиране.Той има индуктивни семейства, т.е. типове данни, които зависят от стойностите, като типа вектори с дадена дължина.
Network Security Toolkit

Network Security Toolkit

Този стартиращ ISO на живо CD / DVD (NST Live) е базиран на Fedora.
Hi Security

Hi Security

Здравейте за сигурност е безплатна антивирус от световна класа, защитаващ вашия Android телефон от всички вирусни атаки.
Cyberwatch

Cyberwatch

Защитете сървърите си от ИТ уязвимости. Cyberwatch открива вашите уязвимости и автоматично разгръща съответните корекции на защитата.
get2clouds

get2clouds

Той криптира данните два пъти, използвайки RC4 криптиране и го изпраща през защитен сокет слой (https).Това криптиране от край до край (E2E) прави прихващане или достъп до данните невъзможно от всеки друг, освен потребителя.
Masked Cache

Masked Cache

Безплатен и лесен за използване уебсайт, който позволява предаване на пароли, потребителски имена, защитени сертификати и други чувствителни данни на вашите приятели и колеги
  • Безплатно
  • Web