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/

相关推荐
阿廖沙10243 小时前
前端开发工程师的Rust入门
rust
pumpkin8451411 小时前
学习笔记十七——Rust 支持面向对象编程吗?
笔记·学习·rust
Source.Liu11 小时前
【TeamFlow】3 Rust 与 WebAssembly (Wasm) 深度应用指南
rust·wasm
CHQIUU12 小时前
【Rust 精进之路之第5篇-数据基石·下】复合类型:元组 (Tuple) 与数组 (Array) 的定长世界
rust
pumpkin8451420 小时前
学习笔记十五——rust柯里化,看不懂 `fn add(x) -> impl Fn(y)` 的同学点进来!
笔记·学习·rust
pumpkin8451420 小时前
学习笔记二十——Rust trait
笔记·学习·rust
pumpkin845141 天前
学习笔记十九——Rust多态
笔记·学习·rust
fdtsaid2 天前
Scade 语言词法介绍
mbse·lustre·scade
疏狂难除2 天前
【Tauri2】026——Tauri+Webassembly
rust·wasm·tauri2
Hello.Reader2 天前
给你的 Rust 通用库“插上” WebAssembly 的翅膀
javascript·rust·wasm