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/

相关推荐
维维酱4 小时前
Rust - move 关键字
rust
UestcXiye4 小时前
Rust 学习笔记:使用自定义命令扩展 Cargo
rust
维维酱5 小时前
Rust - 线程
rust
唯有选择7 小时前
是时候用ED25519替代RSA了:Rust库`crypto_box`实践
安全·rust
UestcXiye7 小时前
Rust 学习笔记:Cargo 工作区
rust
UestcXiye11 小时前
Rust 学习笔记:使用 cargo install 安装二进制 crate
rust
寻月隐君11 小时前
解锁Rust代码组织:轻松掌握Package、Crate与Module
后端·rust·github
维维酱12 小时前
Rust - 引用循环
rust
维维酱1 天前
Rust - 结合 Rc<T> 、RefCell<T>
rust
susnm1 天前
Dioxus 介绍 [翻译]
前端·rust