tock / tock
A secure embedded operating system for microcontrollers
☆5,583Updated this week
Alternatives and similar repositories for tock:
Users that are interested in tock are comparing it to the libraries listed below
- Migrate C code to Rust☆4,108Updated this week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆6,546Updated this week
- a smol tcp/ip stack☆3,894Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,087Updated this week
- Modern embedded framework, using Rust and async.☆6,137Updated this week
- Coordination repository of the embedded devices Working Group☆1,949Updated 3 months ago
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,130Updated this week
- Metal I/O library for Rust.☆6,480Updated last week
- A modern TLS library in Rust☆6,434Updated this week
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,244Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,611Updated this week
- Discover the world of microcontrollers through Rust!☆1,505Updated 3 weeks ago
- Rust parser combinator framework☆9,651Updated this week
- Rayon: A data parallelism library for Rust☆11,387Updated last month
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,886Updated this week
- the champagne of beta embedded databases☆8,285Updated last month
- Safe interop between Rust and C++☆6,059Updated this week
- Serialization framework for Rust☆9,388Updated this week
- Everything you need to know about cross compiling Rust programs!☆2,531Updated 2 years ago
- Tools for concurrent programming in Rust☆7,622Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,143Updated 3 months ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,947Updated 4 months ago
- An interpreter for Rust's mid-level intermediate representation☆4,807Updated this week
- A Rust compiler front-end for IDEs☆14,598Updated this week
- An easy and powerful Rust HTTP Client☆10,213Updated this week
- Zero-cost asynchronous programming in Rust☆5,494Updated this week
- An HTTP library for Rust☆14,893Updated this week
- RFCs for changes to Rust☆6,035Updated 2 weeks ago
- Safe, fast, small crypto using Rust☆3,826Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆1,917Updated this week