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/

相关推荐
时空系12 小时前
第9篇:成员功能——为结构体添加能力 Rust中文编程
开发语言·网络·rust
小杍随笔16 小时前
Rust桌面GUI框架:性能优化与实战避坑指南
开发语言·性能优化·rust
Rust语言中文社区16 小时前
【Rust日报】2026-05-02 Temper - 用 Rust 编写的 Minecraft 服务器项目发布 0.1.0 版
运维·服务器·开发语言·后端·rust
Rust研习社19 小时前
Rust 的 Box、Rc、Arc 到底怎么选?
开发语言·后端·rust
x-cmd20 小时前
agent-browser 源码分析(二):WebSocket CDP 客户端
websocket·rust·cdp·json-rpc·agent-browser
x-cmd20 小时前
agent-browser 与 CDP:浏览器自动化的底层原理
rust·浏览器自动化·cdp·agent-browser·chrome devtools protocol
时空系2 天前
认识Rust——我的第一个程序 Rust中文编程
开发语言·后端·rust
时空系2 天前
第10篇:归属权与借用——Rust的安全保障 Rust中文编程
开发语言·安全·rust