标签
Hibana 是一个 Rust crate,它允许程序根据一个全局编舞(choreography)执行多角色有限协议,将编舞投影为每个角色的紧凑程序,并在 no_std、无分配器的运行时中强制每个 send/recv/route 步骤都符合协议。它支持最多 256 个角色、异步操作与仿射端点,适用于托管环境和嵌入式目标。
Rust 编写的 RISC-V 解释器的更新,支持模块化、no_std、编译时执行,并严格符合规范,同时利用了众多 Rust nightly 版本的特性。
一个仅 18KB 的极简 ls 命令替代工具,使用 Rust 编写,基于 no_std 和 Libc。
rscrypto 是一个纯 Rust 加密库,提供 RSA、Ed25519、X25519、AEAD、哈希、KDF 等功能,注重可移植性、no_std 支持以及业界领先的基准测试。