搜索

Rosette解算器辅助的编程语言

0粉丝
Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。Rosette 是一个解算器辅助
知识
简介
Rosette 是新的计算机辅助解析编程（SDSLs）语言，扩展了 Racket 的一些特性：合成，验证，调试和执行。Rosette 是一个解算器辅助的编程语言，扩展了 Racket 用于程序合成、校验等。为了校验和合成代码，Rosette 将其编译为带 SMT 解决逻辑的逻辑限制解算。示例代码：#... 更多
其它信息
地区
不详
开发语言
Lisp
开源组织
无
所属分类
程序开发、 脚本编程语言
授权协议
未知
操作系统
跨平台
收录时间
2023-09-27
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
09-27
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
C2Rust编程语言转译器
C2Rust工具能够将大多数C模块翻译成语义上等价的rust代码。这些模块将单独编译，以生成兼容的对象文件。支持C99标准。在我们的工具翻译C源代码之前，使用clang对其进行分析和类型检查。帮助您将
C2Rust编程语言转译器
C2Rust工具能够将大多数C模块翻译成语义上等价的rust代码。这些模块将单独编译，以生成兼容的对
AI_Sudoku基于 GUI 的智能数独解算器
AI_Sudoku是一个基于GUI的智能数独解算器，能够从照片中提取数独谜题并解决它。安装下载并安装Python3建议使用 virtualenv，通过打开终端并键入以下内容来下载virtualenv：
AI_Sudoku基于 GUI 的智能数独解算器
AI_Sudoku 是一个基于 GUI 的智能数独解算器，能够从照片中提取数独谜题并解决它。安装下载
RustMozilla的编程语言
Rust是Mozilla的一个新的编程语言，由web语言的领军人物BrendanEich（js之父），DaveHerman以及Mozilla公司的GraydonHoare合力开发。创建这个新语言的目的
wgms3d电磁波导模式矢量解算器
wgms3d 是一个完整的电磁波导模式矢量解算器。计算介质波导的模式在指定波长使用二阶有限差分方法。
wgms3d电磁波导模式矢量解算器
wgms3d是一个完整的电磁波导模式矢量解算器。计算介质波导的模式在指定波长使用二阶有限差分方法。波导截面可能由几个常数折射率(即相邻的区域。突变型配置文件)。介质的接口不需要与离散化网格;他们可能任
LIME编程语言动态编程语言
LIME 是一个使用类似 LISP 语法的动态编程语言 。 It features partial
LIME编程语言动态编程语言
LIME是一个使用类似LISP语法的动态编程语言。Itfeaturespartialfunctionapplication,eagerandlazyevaluation,call-by-valuean
Pike编程语言
Pike是一个简单易学的解释性的面向对象动态语言，其语法跟C语言比较类似，包括一个强大的模块系统，例如数据库访问，图片处理和高级数据加密等等。下面是一个用Pike编写的Helloworld程序： in