Lustre 语言的 Rust 生成相关的工作

目前 Lustre V6 编译器支持编译生成的语言为C语言。但也注意到,以 Rust 语言为生成目标语言,也存在若干相关工作。

rustre(elegaanz)

该项工作为 Lustre v6 语言的解析器,使用 Rust 语言实现。生成 Lustre AST。

项目: github.com/elegaanz/rustre

rustre (emersion)

该项工作为将 Lustre 子集编译为 Rust 的编译器。编译器由 Rust 语言实现。

项目: github.com/emersion/rustre

rustre (Kerl13)

该项工作为将 Lustre 子集编译为 Rust 的编译器。编译器由 OCaml 语言实现。

项目: github.com/Kerl13/rustre

chandeliers

该项工作通过提供 proc macro 将 Lustre 源程序编译为 Rust。该项目由 Rust 语言实现。

项目:github.com/Vanille-N/chandeliers

Kind2 rust 生成

Kind2 模型检查工具支持 Rust 语言生成。

--compile true: kind2-mc.github.io/kind2/

相关推荐
techdashen12 小时前
性能比拼: Rust vs C++
java·c++·rust
无名之逆12 小时前
[特殊字符] Hyperlane:Rust 高性能 Web 框架的终极选择 [特殊字符]
服务器·开发语言·前端·网络·后端·http·rust
Source.Liu1 天前
【学Rust写CAD】14线性插值函数(加入color.rs)
rust·cad
fdtsaid1 天前
ANSYS Swan 语言 forward 迭代(一) - 数组与矩阵遍历
lustre·scade·swan
Yeauty1 天前
Rust 与 FFmpeg 实现视频水印添加:技术解析与应用实践
rust·ffmpeg·音视频
爆炸头林冲2 天前
Rust 学习笔记(一)
笔记·学习·rust
aimmon2 天前
Rust从入门到精通之入门篇:3.Hello World
开发语言·后端·rust
爆炸头林冲2 天前
Rust安装并配置配置vscode编译器
开发语言·后端·rust
救救孩子把2 天前
uv:Rust 驱动的 Python 包管理新时代
python·rust·uv
aimmon2 天前
Rust从入门到精通之进阶篇:15.异步编程
开发语言·后端·rust