Secure Rust Guidelines
Recommendations for secure applications development with Rust…
Read more »The Kani Rust Verifier Project
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Read more »Rust: Your code can be perfect
A 6-minute lightning talk explaining how you can write perfect code with rust.Start here: https://doc.rust-lang.org/stable/book/ERRATAThanks to commenters an…
Read more »The Rust Borrow Checker – A Deep Dive
Nell Shamrell-Harrington discusses how to transition from fighting the borrow checker to using its guidance to write safer and more powerful code at any experience level.
Read more »Xilem: An Architecture for UI in Rust
Rust is an appealing language for building user interfaces for a variety of reasons, especially the promise of delivering both performance and safety. However, finding a good architecture is challenging. Architectures that work well in other languages gen…
Read more »Async Rust: Portability and Interoperability
Your browser isn’t supported anymore. Update it to get the best YouTube experience and our latest features. Learn more…
Read more »Blake3 hash plugin for MySQL written in Rust
Using Rust to create a MySQL plugin that implements blake3 hash.
Read more »Kani Rust Verifier
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Read more »The Kani Rust Verifier Project
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Read more »DLL Crab – DLL Injector with GUI Written in Rust
🦀 Rusty DLL Injector with GUI. Contribute to aiocat/dll-crab development by creating an account on GitHub.
Read more »