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/