F*

F*

F *是一种类似于ML的功能编程语言，旨在进行程序验证。F *可以表达程序的精确规范，包括功能正确性属性。可以将用F *编写的程序转换为OCaml或F＃来执行。
F *（发音为F星）是一种类似于ML的函数式编程语言，旨在进行程序验证。它的类型系统包括多态性，从属类型，单子效应，细化类型和最弱的前提演算。这些功能结合在一起，可以表达精确而紧凑的程序规范，包括功能正确性属性。F *类型检查器旨在结合SMT解决方案和手动证明来证明程序符合其规范。用F *编写的程序可以转换为OCaml或F＃以执行。
f-

网站:

特征

分类目录

具有任何许可的所有平台的F*替代品

F# (programming language)

F# (programming language)

F＃是.NET的简洁，表达性强，高效的功能和面向对象的语言，可帮助您编写简单的代码来解决复杂的问题。
CamDesk

CamDesk

CamDesk是一个免费的开源桌面网络摄像头小部件，它是作为家庭监视应用程序创建的。
Coq

Coq

Coq是证明助手，它允许您以严格而正式的方式编写数学证明，并由计算机检查它们的正确性。
Isabelle

Isabelle

Isabelle是通过计算机编写和检查数学证明的证明助手。
OCaml

OCaml

OCaml是一种工业强度编程语言，支持功能，命令式和面向对象的样式。
Agda

Agda

Agda是一种从属类型的函数式编程语言。它具有归纳族，即依赖于值的数据类型，例如给定长度的向量类型。
Network Security Toolkit

Network Security Toolkit

此可启动的ISO live CD / DVD（NST Live）基于Fedora。
Hi Security

Hi Security

Hi Security是世界一流的免费防病毒软件，可保护您的Android手机免受所有病毒攻击。
Cyberwatch

Cyberwatch

保护您的服务器免受IT漏洞的影响。Cyber​​watch会检测到您的漏洞并自动部署适当的安全修复程序。
get2clouds

get2clouds

它使用RC4加密对数据加密两次，然后通过安全套接字层（https）发送数据。这种端到端（E2E）加密使用户以外的任何人都无法截取或访问数据。
Masked Cache

Masked Cache

免费且易于使用的网站，可将密码，用户名，安全证书和其他敏感数据移交给您的朋友和同事
  • 免费应用
  • Web