Kafka + Flink in Rust + WASM. Cloud Native, Edge Ready, Stateful, Composable unified data streaming platform powered by Rust and Web Assembly - GitHub - infinyon/fluvio: Kafka + Flink in Rust + WAS... (more…)

We present Aeneas, a new verification toolchain for Rust programs based on a lightweight functional translation. We leverage Rust's rich region-based type system to eliminate memory reasoning for many Rust programs, as long as they do not rely on interior... (more…)

xi-editor - A modern editor with a backend written in Rust. (more…)

Multi-platform high-performance compute language extension for Rust. - tracel-ai/cubecl... (more…)

Years ago, I worked on reimplementing some Python code in Rust and needed to adapt Python’s dynamic reflection capabilities (aka __getattr__) to the strict and … (more…)