tock / tock
A secure embedded operating system for microcontrollers
☆5,750Updated this week
Alternatives and similar repositories for tock:
Users that are interested in tock are comparing it to the libraries listed below
- Coordination repository of the embedded devices Working Group☆2,005Updated last week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆6,912Updated this week
- a smol tcp/ip stack☆3,991Updated last month
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,148Updated this week
- Modern embedded framework, using Rust and async.☆6,665Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,750Updated 2 weeks ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆1,957Updated last week
- Rust parser combinator framework☆9,861Updated 2 months ago
- A modern TLS library in Rust☆6,628Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,993Updated 7 months ago
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,227Updated last week
- Migrate C code to Rust☆4,203Updated 3 weeks ago
- Discover the world of microcontrollers through Rust!☆1,536Updated 2 weeks ago
- Tools for concurrent programming in Rust☆7,800Updated 2 weeks ago
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,173Updated 2 months ago
- The Elegant Parser☆4,882Updated last month
- Rayon: A data parallelism library for Rust☆11,674Updated 2 weeks ago
- the champagne of beta embedded databases☆8,413Updated 3 months ago
- Safe interop between Rust and C++☆6,244Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,069Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,078Updated this week
- Rust friendly bindings to *nix APIs☆2,794Updated this week
- A project for generating C bindings from Rust code☆2,591Updated 2 months ago
- Format Rust code☆6,240Updated last week
- Embedded Rust device crates for STM32 microcontrollers☆1,442Updated this week
- RFCs for changes to Rust☆6,115Updated this week
- Metal I/O library for Rust.☆6,598Updated last week
- An experiment.☆3,921Updated last week
- “Zero setup” cross compilation and “cross testing” of Rust crates☆7,269Updated this week
- A full featured, fast Command Line Argument Parser for Rust☆14,949Updated this week