Stars
Language
Sort by: Recently starred
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/
vnrst / Yuga
Forked from sslab-gatech/RudraRepository for ICSE 2024 submission
Rust Memory Safety & Undefined Behavior Detection
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
[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.
A static verifier for Rust, based on the Viper verification infrastructure.
Notes for using Julia while learning calculus