A cross-platform GUI library for Rust, inspired by Elm - hecrj/iced... (more…)

🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 很简单的用 Rust 打包网页生成很小的桌面 App - GitHub - tw93/Pake: 🤱🏻 Turn any webpage into a desktop app with Rust. 🤱🏻 很简单的用 Rust 打包网页生成很小的桌面 App... (more…)

Platform-independent drivers for STMicroelectronics MEMS motion and environmental sensors, based on Rust Programming Language - STMicroelectronics/st-mems-rust-drivers... (more…)

ChatGPT powered Rust proc macro that generates code at compile-time. - GitHub - retrage/gpt-macro: ChatGPT powered Rust proc macro that generates code at compile-time. (more…)

In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We ... (more…)