Outer Web | Explore

/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
\|	\|	rust-lang.github.io 0445-extension-trait-conventions - The Rust RFC Book	0.8 parsecs away Travel
\|	\|	[AI summary] This RFC proposes a naming convention for Rust extension traits to improve clarity and consistency in the language's API design.	0.8 parsecs away Travel
\|	\|	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.	0.9 parsecs away Travel
\|	\|	veykril.github.io Internal Rules - The Little Book of Rust Macros	1.0 parsecs away Travel
\|	\|		1.0 parsecs away Travel
\|	\|	rust-sdl2.github.io sdl2 - Rust	2.4 parsecs away Travel
\|		API documentation for the Rust `sdl2` crate.	2.4 parsecs away Travel