3
F *(发音为F星)是一种类似于ML的函数式编程语言,旨在进行程序验证。它的类型系统包括多态性,从属类型,单子效应,细化类型和最弱的前提演算。这些功能结合在一起,可以表达精确而紧凑的程序规范,包括功能正确性属性。F *类型检查器旨在结合SMT解决方案和手动证明来证明程序符合其规范。用F *编写的程序可以转换为OCaml或F#以执行。
具有任何许可的所有平台的F*替代品
17
F# (programming language)
F#是.NET的简洁,表达性强,高效的功能和面向对象的语言,可帮助您编写简单的代码来解决复杂的问题。
1
1
0
Cyberwatch
保护您的服务器免受IT漏洞的影响。Cyberwatch会检测到您的漏洞并自动部署适当的安全修复程序。
0
get2clouds
它使用RC4加密对数据加密两次,然后通过安全套接字层(https)发送数据。这种端到端(E2E)加密使用户以外的任何人都无法截取或访问数据。
0