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/

相关推荐
大鱼七成饱20 小时前
Rust Web 初学者必看:用一个宏搞定错误处理和统一返回
rust
Vallelonga21 小时前
Rust 设计模式 Marker Trait + Blanket Implementation
开发语言·设计模式·rust
ftpeak1 天前
《Cargo 参考手册》第二十一章:Cargo 包命令
开发语言·rust
Source.Liu1 天前
【BuildFlow & 筑流】品牌命名与项目定位说明
c++·qt·rust·markdown·librecad
ftpeak1 天前
《Cargo 参考手册》第二十二章:发布命令
开发语言·rust
JoannaJuanCV3 天前
error: can‘t find Rust compiler
开发语言·后端·rust
Kiri霧3 天前
在actix-web应用用构建集成测试
后端·rust·集成测试
muyouking114 天前
Tauri Android 开发踩坑实录:从 Gradle 版本冲突到离线构建成功
android·rust
Kiri霧4 天前
Rust开发环境搭建
开发语言·后端·rust
xuejianxinokok4 天前
什么是代数类型 ? java为什么要添加record,Sealed class 和增强switch ?
后端·rust