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/

相关推荐
Source.Liu1 小时前
【Chrono库】Unix-like 系统时区处理实现(src/offset/local/unix.rs)
rust·time
I***26154 小时前
数据库操作与数据管理——Rust 与 SQLite 的集成
数据库·rust·sqlite
元Y亨H7 小时前
RustDesk 自建远程桌面服务器部署指南
rust
@大迁世界20 小时前
相信我兄弟:Cloudflare Rust 的 .unwrap() 方法在 330 多个数据中心引发了恐慌
开发语言·后端·rust
2***B44921 小时前
Rust在系统编程中的内存安全
开发语言·后端·rust
U***e6321 小时前
Rust错误处理最佳实践
开发语言·后端·rust
疏狂难除1 天前
随便玩玩lldb (二)
开发语言·后端·rust
Rust语言中文社区1 天前
【Rust日报】 丰田“先锋”选择了 Rust
开发语言·后端·rust
邹小邹-AI1 天前
Rust + 前端:下一个十年的“王炸组合”
开发语言·前端·rust