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/

相关推荐
一次旅行10 小时前
【AI工具】Rust-Based CLI:用 xargs 和并行加速你的 Linux 日常
linux·开发语言·rust
梦醒沉醉14 小时前
6、Rust程序设计语言——包、crates与模块
rust
花褪残红青杏小15 小时前
Rust图像处理第16节-曼德博集合 Mandelbrot:用一行公式画出无限细节
rust·webassembly·图形学
Arman376815 小时前
rusty-cat × 阿里云 OSS 直传直下实战
rust·ai编程
临风细雨17 小时前
从 Bun 的 Rust 重写,看 C# 如何重建 AI 基础设施层
人工智能·rust·c#
x-cmd17 小时前
Linus 9 年前说「模糊测试有效」——今天已成 OSS-Fuzz 时代铁律
linux·ai·rust·开源·自动化·agent·安全性测试
CodeForWater18 小时前
RUST设置临时环境变量在PowerShell
rust
独孤留白19 小时前
从C到Rust:Trait Deref + DerefMut 智能指针与自动解引用
rust
程序员爱钓鱼20 小时前
Rust 数据类型详解:整数、浮点数、布尔、字符、元组和数组
后端·rust
梦帮科技21 小时前
Rust+Tauri+EVM:构建下一代内存安全级数字版权(DRM)主权音频网络与跨链金融系统的技术实践与全景架构
网络·安全·架构·rust·区块链·音视频·web3.py