/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
| | 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
| | veykril.github.io
Internal Rules - The Little Book of Rust Macros
0.6 parsecs away

Travel
| |
| | aturon.github.io
Zero-cost futures in Rust ยท Aaron Turon
19.9 parsecs away

Travel
| [AI summary] This blog post introduces Rust's zero-cost futures library, which enables efficient asynchronous I/O programming by providing high-level abstractions that compile down to low-level state-machine code without runtime overhead.