/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

 rust-sdl2.github.io
sdl2 - Rust
| | rust-embedded.github.io
no_std - The Embedded Rust Book
3.3 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.
| | model-checking.github.io
Nondeterministic variables - The Kani Rust Verifier
2.4 parsecs away

Travel
| Documentation for the Kani Rust Verifier