/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 model-checking.github.io
Nondeterministic variables - The Kani Rust Verifier
| | nnethercote.github.io
Benchmarking - The Rust Performance Book
0.9 parsecs away

Travel
| | [AI summary] The text explains the basics of benchmarking in Rust, covering workload selection, tools like criterion, and the trade-offs between different performance metrics.
| | rust-sdl2.github.io
sdl2 - Rust
2.4 parsecs away

Travel
| | API documentation for the Rust `sdl2` crate.
| | rust-embedded.github.io
no_std - The Embedded Rust Book
1.0 parsecs away

Travel
| [AI summary] This excerpt from The Embedded Rust Book explains the differences between standard and embedded programming environments, detailing the role of the no_std feature and how developers borrow allocation and hardware access for systems with limited resources.