CakeMLML语言的验证实施认领

0粉丝

CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (

简介

CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (... 更多

其它信息

授权协议

BSD

操作系统

跨平台

软件类型

开源软件

所属分类

程序开发、其他开发相关

开源组织

无

地区

不详

适用人群

未知

开源地址

https://www.proginn.com/w/1491439

时光轴

里程碑1

LOG2

2023

09-30

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

MyHDL硬件描述和验证语言

MyHDL将Python变成一个硬件描述和验证语言，为硬件工程师提供前所未有的强大功能。

VccValidateVue.js 的验证库

VccValidate是Vue.js的验证库。它有很多开箱即用的验证规则，也支持自定义验证规则。它是基于模板的，因此它与HTML5验证API类似且熟悉。您可以验证HTML5输入以及自定义Vue组件。特

goDoHDNS-over-HTTPS 的 Go 验证项目

godoh用Go语言编写的，用于实现DNS-over-HTTPS的验证项目，目前支持服务商包括：Google，Cloudflare，但也包含使用传统DNS的服务。从源码中构建 godoh ：确保已安装

AlvorEclipse的SQL验证插件

Alvor是一个Eclipse的插件，用来在Java代码中对SQL语句进行验证，包括语法以及在实际数据库的执行情况。

Proxy-Filter验证代理的有效性

proxy-filter验证代理的有效性安装npm i proxy-filter -g用法 Usage:index--input<file...>--output<file...&g

goDoHDNS-over-HTTPS 的 Go 验证项目

godoh 用 Go 语言编写的，用于实现 DNS-over-HTTPS 的验证项目，目前支持服务商

US2FormValidator表单的验证框架

US2FormValidator 是iOS 上一个输入表单的验证框架。

FXModelValidationiOS 验证

FXModelValidation是Objective-C库，可以简单验证日期/模型/表单，适用于所有NSObject。因此，它应该与CoreData或原始NSObject都可以正常工作。库透明地支持

BaConBASIC 语言转成 C 语言的工具

BaCon是BAsicCONverter的首字母缩写。BaConBASIC转换器是一个将用BASIC语法编写的程序转换为C语言的工具，产生的C语言代码可以用GCC或CC等通用C语言编译器进行编译。它也

FXModelValidationiOS 验证

FXModelValidation 是 Objective-C 库，可以简单验证日期/模型/表单，适