简介
Rosette 是新的计算机辅助解析编程(SDSLs)语言,扩展了 Racket 的一些特性:合成,验证,调试和执行。Rosette 是一个解算器辅助的编程语言,扩展了 Racket 用于程序合成、校验等。为了校验和合成代码,Rosette 将其编译为带 SMT 解决逻辑的逻辑限制解算。示例代码:#... 更多
其它信息
地区
不详
开发语言
Lisp
开源组织
无
所属分类
程序开发、 脚本编程语言
授权协议
未知
操作系统
跨平台
收录时间
2023-09-27
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
C2Rust编程语言转译器
C2Rust工具能够将大多数C模块翻译成语义上等价的rust代码。这些模块将单独编译,以生成兼容的对象文件。支持C99标准。在我们的工具翻译C源代码之前,使用clang对其进行分析和类型检查。帮助您将
C2Rust编程语言转译器
0
AI_Sudoku基于 GUI 的智能数独解算器
AI_Sudoku是一个基于GUI的智能数独解算器,能够从照片中提取数独谜题并解决它。安装下载并安装Python3建议使用 virtualenv,通过打开终端并键入以下内容来下载virtualenv:
AI_Sudoku基于 GUI 的智能数独解算器
0
RustMozilla的编程语言
Rust是Mozilla的一个新的编程语言,由web语言的领军人物BrendanEich(js之父),DaveHerman以及Mozilla公司的GraydonHoare合力开发。创建这个新语言的目的
RustMozilla的编程语言
0
wgms3d电磁波导模式矢量解算器
wgms3d是一个完整的电磁波导模式矢量解算器。计算介质波导的模式在指定波长使用二阶有限差分方法。波导截面可能由几个常数折射率(即相邻的区域。突变型配置文件)。介质的接口不需要与离散化网格;他们可能任
wgms3d电磁波导模式矢量解算器
0