Skip to content

Rust#

Rust is a multi-paradigm, general-purpose programming language. Rust emphasizes performance, type safety, and concurrency. Rust enforces memory safety—that is, that all references point to valid memory—without requiring the use of a garbage collector or reference counting present in other memory-safe languages. To simultaneously enforce memory safety and prevent concurrent data races, Rust’s borrow checker tracks the object lifetime and variable scope of all references in a program during compilation. Rust is popular for systems programming but also offers high-level features including functional programming constructs.

Read more on Wikipedia.

Official#

Sites#
Documentation#
Core#
  • Chalk: An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  • Polonius: Defines the Rust borrow checker

Community#

Documentation#
Blogs#
Books#
Courses#
Libraries#
  • faer: A collection of crates that implement low level linear algebra routines in pure Rust
  • Kanal: Fastest sync and async channel that Rust deserves
  • log: A lightweight logging facade
  • nom: Rust parser combinator framework
  • Serde: A framework for serializing and deserializing Rust data structures efficiently and generically ⭐
  • Tokio: An asynchronous runtime for the Rust programming language ⭐
  • Yew: A modern Rust framework for creating multi-threaded front-end web apps using WebAssembly
News#
Podcasts#
Sites#
Tools#
  • cargo-c: Build and install C-compatible libraries
  • cargo-careful: Run your Rust code with extra careful debug checking
  • Prusti: A static verifier for Rust, based on the Viper verification infrastructure
  • Rudra: Rust Memory Safety & Undefined Behavior Detection

Resources#

Text#
Video#