tock / tockLinks
A secure embedded operating system for microcontrollers
☆5,829Updated this week
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below
Sorting:
- a smol tcp/ip stack☆4,089Updated last month
- Modern embedded framework, using Rust and async.☆6,876Updated this week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆7,034Updated 2 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,176Updated this week
- Coordination repository of the embedded devices Working Group☆2,022Updated 2 weeks ago
- An interpreter for Rust's mid-level intermediate representation☆5,167Updated this week
- Migrate C code to Rust☆4,285Updated 2 weeks ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,998Updated this week
- A modern TLS library in Rust☆6,743Updated this week
- “Zero setup” cross compilation and “cross testing” of Rust crates☆7,383Updated 2 weeks ago
- Rayon: A data parallelism library for Rust☆11,807Updated last month
- the champagne of beta embedded databases☆8,496Updated 3 weeks ago
- Rust parser combinator framework☆9,930Updated 3 months ago
- The Elegant Parser☆4,950Updated 2 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,815Updated 2 weeks ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,172Updated this week
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,259Updated last month
- An experiment.☆3,942Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,019Updated 8 months ago
- Rhai - An embedded scripting language for Rust.☆4,624Updated last week
- Tools for concurrent programming in Rust☆7,885Updated last month
- Safe interop between Rust and C++☆6,298Updated last week
- A data-first Rust-native UI design toolkit.☆9,681Updated 7 months ago
- Adding support for the Rust language to the Linux kernel.☆4,171Updated last week
- Application level tracing for Rust.☆5,950Updated this week
- Zero-cost asynchronous programming in Rust☆5,628Updated 2 weeks ago
- Serialization framework for Rust☆9,718Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,259Updated this 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,336Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,181Updated last week