/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-embedded.github.io
no_std - The Embedded Rust Book
| | nnethercote.github.io
Benchmarking - The Rust Performance Book
0.5 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.
| | dwrensha.github.io
no_std support
1.4 parsecs away

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

Travel
| | Documentation for the Kani Rust Verifier
| | brokenco.de
Building and debugging a high-throughput daemon in Rust
26.4 parsecs away

Travel
| a moderately technical blog