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/

相关推荐
小熊吃保安9 小时前
Windows也能用 Apple Watch 解锁
windows·rust·开源
离歌漠1 天前
《我用 Tauri 做了一个本地开发工具箱》
rust·typescript·vue
小小龙学IT1 天前
Python Polars 高性能数据处理引擎深度解析
开发语言·python·rust·1024程序员节
zzu123zsw1 天前
为什么 Python 做 Agent 总在并发中崩溃?拆解 Blockcell 在 Rust 下的 Host-Cell 隔离与自愈状态机
开发语言·python·rust·大模型·ai agent
hsg771 天前
简述:基于Ubuntu24编译发布rust开发的html+web后端服务的方法
rust·1024程序员节
zzu123zsw2 天前
当 GPU 加速渲染遇上无头组件:拆解 Yororen UI 在 GPUI 生态下的状态解耦与 XML 模板实践
xml·ui·rust·gui·gpui
传奇开心果编程2 天前
【Rust入门练中学】第6课:结构体与方法
开发语言·rust·结构体·编程语言理论·结构体方法·编程通用语言
本地化文档2 天前
cutile-rs-book-l10n
rust·gpu·nvidia·cuda·sphinx·crowdin
qq_406981032 天前
大白话rust系列09 函数调用两次有什么错?
开发语言·python·rust
康小旺2 天前
TypeScript 编译器开始卷 Rust 了:Cloudflare 的 tsrs 到底想干嘛?
rust·typescript