After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

This Rust Cookbook is a collection of simple examples that demonstrate good practices to accomplish common programming tasks, using the crates of the Rust ecosystem. (more…)

Summary I'm working with mouse events for my project, and I came across a very interesting method name for MouseEvents. The method is called init_mouse_event_with_can_bubble_arg_and_cancelable_... (more…)

Rust Memory Container Cheat-sheet. Contribute to usagi/rust-memory-container-cs development by creating an account on GitHub. (more…)

Magical Deterministic Simulator for distributed systems in Rust. - GitHub - madsim-rs/madsim: Magical Deterministic Simulator for distributed systems in Rust. (more…)