tock / tockLinks
A secure embedded operating system for microcontrollers
โ5,889Updated last 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,004Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,028Updated 9 months ago
- a smol tcp/ip stackโ4,123Updated last week
- Curated list of resources for Embedded and Low-level development in the Rust programming languageโ7,117Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,199Updated this week
- Coordination repository of the embedded devices Working Groupโ2,038Updated last month
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollersโ2,020Updated this week
- Migrate C code to Rustโ4,366Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate hostโ2,225Updated this week
- A Hardware Abstraction Layer (HAL) for embedded systemsโ2,288Updated 2 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.โ4,859Updated 3 weeks ago
- A modern TLS library in Rustโ6,802Updated this week
- Rust parser combinator frameworkโ9,988Updated 5 months ago
- An interpreter for Rust's mid-level intermediate representationโ5,263Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devicesโ1,193Updated last week
- A catalogue of Rust design patterns, anti-patterns and idiomsโ8,469Updated last week
- Safe interop between Rust and C++โ6,346Updated last week
- Discover the world of microcontrollers through Rust!โ1,550Updated 2 months ago
- the champagne of beta embedded databasesโ8,558Updated last month
- Serialization framework for Rustโ9,799Updated last month
- The Elegant Parserโ4,997Updated 3 weeks ago
- Tools for concurrent programming in Rustโ7,948Updated last month
- A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/โ12,240Updated this week
- A small and fast async runtime for Rustโ4,282Updated last month
- An experiment.โ3,959Updated this week
- Metal I/O library for Rust.โ6,662Updated last week
- Rayon: A data parallelism library for Rustโ11,926Updated 2 months ago
- Format Rust codeโ6,349Updated 2 weeks ago
- A Rust compiler front-end for IDEsโ15,232Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,705Updated last month