tock / tock
A secure embedded operating system for microcontrollers
☆5,696Updated 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,964Updated 2 weeks ago
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆6,762Updated 3 weeks ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,925Updated this week
- Coordination repository of the embedded devices Working Group☆1,977Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,011Updated this week
- Modern embedded framework, using Rust and async.☆6,417Updated this week
- A modern TLS library in Rust☆6,531Updated this week
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,182Updated 2 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,129Updated this week
- Tools for concurrent programming in Rust☆7,716Updated last month
- Rayon: A data parallelism library for Rust☆11,543Updated 3 months ago
- Metal I/O library for Rust.☆6,544Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,978Updated 5 months ago
- the champagne of beta embedded databases☆8,357Updated 2 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,701Updated last month
- Rust parser combinator framework☆9,794Updated last month
- An interpreter for Rust's mid-level intermediate representation☆4,967Updated this week
- Migrate C code to Rust☆4,160Updated 3 weeks ago
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,156Updated last month
- The Elegant Parser☆4,820Updated last month
- A native gRPC client & server implementation with async/await support.☆10,636Updated 2 weeks ago
- Discover the world of microcontrollers through Rust!☆1,519Updated last week
- An RPC framework for Rust with a focus on ease of use.☆3,391Updated last month
- Serialization framework for Rust☆9,509Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,071Updated last week
- Safe interop between Rust and C++☆6,170Updated this week
- An experiment.☆3,904Updated this week
- Application level tracing for Rust.☆5,765Updated last month
- Async version of the Rust standard library☆4,018Updated this week
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,310Updated this week