Discover the world of microcontrollers through Rust!

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Curated list of resources for Embedded and Low-level development in the Rust programming language

Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.

Rust Protobuf library targetting embedded systems and no_std environments without an allocator

Faster implementations of standard library operations like find, filter, position etc.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Run Rust lints from dynamic libraries

Repository for ICSE 2024 submission

Rust Memory Safety & Undefined Behavior Detection

Rust Analysis Platform

Statically detect memory, concurrency bugs and possible panic locations for Rust.

Rust mid-level IR Abstract Interpreter

An interpreter for Rust's mid-level intermediate representation

Execute Rust code carefully, with extra checking along the way

Command line helpers for fuzzing

Concurrency permutation testing tool for Rust.

A fully automated Rust fuzz driver generator

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

Crucible is a library for symbolic simulation of imperative programs

Creusot helps you prove your code is correct in an automated fashion.

RustHorn: A CHC-based automated verifier for Rust

A static verifier for Rust, based on the Viper verification infrastructure.

Kani Rust Verifier

Verified Rust for low-level systems code

Notes for using Julia while learning calculus