tock / tock
A secure embedded operating system for microcontrollers
☆5,711Updated this week
Alternatives and similar repositories for tock:
Users that are interested in tock are comparing it to the libraries listed below
- a smol tcp/ip stack☆3,978Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,134Updated this week
- Migrate C code to Rust☆4,187Updated this week
- A modern TLS library in Rust☆6,573Updated this week
- Rust parser combinator framework☆9,815Updated last month
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,984Updated 6 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,007Updated this week
- Modern embedded framework, using Rust and async.☆6,529Updated this week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆6,800Updated last month
- Coordination repository of the embedded devices Working Group☆1,987Updated 2 weeks ago
- Rayon: A data parallelism library for Rust☆11,609Updated 4 months ago
- Metal I/O library for Rust.☆6,567Updated 2 weeks ago
- The Elegant Parser☆4,847Updated last week
- Tools for concurrent programming in Rust☆7,755Updated 2 weeks ago
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,196Updated last week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,160Updated last month
- Discover the world of microcontrollers through Rust!☆1,524Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,932Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,725Updated last month
- the champagne of beta embedded databases☆8,383Updated 3 months ago
- 🦀 How to minimize Rust binary size 📦☆8,790Updated 3 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆15,362Updated this week
- Learn to write an embedded OS in Rust☆14,057Updated last year
- An experiment.☆3,913Updated last week
- Serialization framework for Rust☆9,563Updated last week
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆6,214Updated 2 weeks ago
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,334Updated last week
- Zero-cost asynchronous programming in Rust☆5,560Updated last week
- Safe interop between Rust and C++☆6,201Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,028Updated this week