tock / tock
A secure embedded operating system for microcontrollers
โ5,795Updated 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,021Updated last week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,006Updated 7 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.โ4,775Updated last month
- Modern embedded framework, using Rust and async.โ6,775Updated this week
- Rust parser combinator frameworkโ9,893Updated 3 months ago
- Coordination repository of the embedded devices Working Groupโ2,016Updated last month
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,169Updated this week
- Tools for concurrent programming in Rustโ7,858Updated last month
- Migrate C code to Rustโ4,228Updated this week
- Metal I/O library for Rust.โ6,617Updated last month
- A Hardware Abstraction Layer (HAL) for embedded systemsโ2,239Updated last month
- Rayon: A data parallelism library for Rustโ11,725Updated last month
- Curated list of resources for Embedded and Low-level development in the Rust programming languageโ6,967Updated this week
- Safe interop between Rust and C++โ6,263Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ15,436Updated this week
- A modern TLS library in Rustโ6,670Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollersโ1,980Updated last month
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devicesโ1,178Updated 3 months ago
- Everything you need to know about cross compiling Rust programs!โ2,546Updated 2 years ago
- Zero-cost asynchronous programming in Rustโ5,602Updated 2 weeks ago
- A catalogue of Rust design patterns, anti-patterns and idiomsโ8,392Updated last month
- the champagne of beta embedded databasesโ8,463Updated this week
- Serialization framework for Rustโ9,667Updated 3 weeks ago
- An experiment.โ3,929Updated this week
- A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/โ12,015Updated this week
- The Elegant Parserโ4,929Updated last month
- Writing an OS in Rustโ16,483Updated last week
- Discover the world of microcontrollers through Rust!โ1,539Updated 2 weeks ago
- An easy and powerful Rust HTTP Clientโ10,604Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,670Updated last month