tock / tockLinks
A secure embedded operating system for microcontrollers
☆5,992Updated this week
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below
Sorting:
- Modern embedded framework, using Rust and async.☆7,386Updated this week
- Coordination repository of the embedded devices Working Group☆2,060Updated 3 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,257Updated this week
- a smol tcp/ip stack☆4,172Updated this week
- Curated list of resources for Embedded and Low-level development in the Rust programming language☆7,281Updated 2 months ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,087Updated last week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,219Updated 2 months ago
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,364Updated last week
- Discover the world of microcontrollers through Rust!☆1,562Updated 2 months ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,335Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,041Updated 11 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,937Updated last week
- Migrate C code to Rust☆4,451Updated this week
- A modern TLS library in Rust☆6,946Updated this week
- Rust parser combinator framework☆10,075Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,423Updated this week
- Tools for concurrent programming in Rust☆8,049Updated 3 months ago
- Metal I/O library for Rust.☆6,726Updated last week
- Embedded Rust device crates for STM32 microcontrollers☆1,516Updated last month
- Adding support for the Rust language to the Linux kernel.☆4,226Updated this week
- Everything you need to know about cross compiling Rust programs!☆2,555Updated 3 years ago
- Safe interop between Rust and C++☆6,449Updated this week
- the champagne of beta embedded databases☆8,662Updated 3 months ago
- An experiment.☆3,992Updated last week
- “Zero setup” cross compilation and “cross testing” of Rust crates☆7,646Updated last week
- Rayon: A data parallelism library for Rust☆12,170Updated last week
- Serialization framework for Rust☆9,954Updated 2 weeks ago
- A small and fast async runtime for Rust☆4,450Updated 2 weeks ago
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- An RPC framework for Rust with a focus on ease of use.☆3,538Updated 3 weeks ago