/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

Explore from this page
rust-sdl2.github.io
sdl2 - Rust
| | rust-embedded.github.io
no_std - The Embedded Rust Book

[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.
3.3 parsecs

Travel
| |
| | model-checking.github.io
Nondeterministic variables - The Kani Rust Verifier

Documentation for the Kani Rust Verifier
2.4 parsecs

Travel
|