lispwisp

discovery

Discover the world of microcontrollers through Rust!

rtic

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

awesome-embedded-rust

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

disruptor-rs

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

micropb

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

SIMD-itertools

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

rust-clippy

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

dylint

Run Rust lints from dynamic libraries

rust-ffi-checker

rust-mir-checker

Yuga

Repository for ICSE 2024 submission

Rudra

Rust Memory Safety & Undefined Behavior Detection

RAP

Rust Analysis Platform

lockbud

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

MIRAI

Rust mid-level IR Abstract Interpreter

miri

An interpreter for Rust's mid-level intermediate representation

cargo-careful

Execute Rust code carefully, with extra checking along the way

cargo-fuzz

Command line helpers for fuzzing

loom

Concurrency permutation testing tool for Rust.

ERASan

RULF

A fully automated Rust fuzz driver generator

PERIOD

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

crucible

Crucible is a library for symbolic simulation of imperative programs

creusot

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

rust-horn

RustHorn: A CHC-based automated verifier for Rust

prusti-dev

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

kani

Kani Rust Verifier

verus

Verified Rust for low-level systems code

CalculusWithJuliaNotes.jl

Notes for using Julia while learning calculus

gafferchallenge