tock / tock
A secure embedded operating system for microcontrollers
☆5,438Updated this week
Related projects ⓘ
Alternatives and complementary repositories for tock
- Coordination repository of the embedded devices Working Group☆1,924Updated 2 weeks ago
- Modern embedded framework, using Rust and async.☆5,521Updated this week
- a smol tcp/ip stack☆3,788Updated last week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆6,261Updated 3 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,009Updated this week
- Migrate C code to Rust☆4,010Updated this week
- A modern TLS library in Rust☆6,174Updated this week
- Rayon: A data parallelism library for Rust☆11,033Updated last week
- Rust parser combinator framework☆9,460Updated last month
- the champagne of beta embedded databases☆8,157Updated 3 weeks ago
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,005Updated 3 weeks ago
- Tools for concurrent programming in Rust☆7,418Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,451Updated this week
- Serialization framework for Rust☆9,149Updated last week
- An interpreter for Rust's mid-level intermediate representation☆4,557Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,800Updated 2 weeks ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,908Updated last month
- Metal I/O library for Rust.☆6,349Updated last month
- Everything you need to know about cross compiling Rust programs!☆2,515Updated 2 years ago
- An RPC framework for Rust with a focus on ease of use.☆3,279Updated last week
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,117Updated 3 weeks ago
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,121Updated 3 weeks ago
- Application level tracing for Rust.☆5,482Updated this week
- The Elegant Parser☆4,640Updated 3 weeks ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆4,749Updated this week
- “Zero setup” cross compilation and “cross testing” of Rust crates☆6,738Updated 3 weeks ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆1,770Updated this week
- Safe interop between Rust and C++☆5,876Updated this week
- Zero-cost asynchronous programming in Rust☆5,407Updated 3 weeks ago
- Safe, fast, small crypto using Rust☆3,749Updated 3 weeks ago