oxidecomputer / hubrisLinks
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
โ3,270Updated this week
Alternatives and similar repositories for hubris
Users that are interested in hubris are comparing it to the libraries listed below
Sorting:
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,054Updated last year
- Hermit for Rust.โ1,825Updated this week
- A secure embedded operating system for microcontrollersโ6,011Updated this week
- a smol tcp/ip stackโ4,194Updated last week
- Debugger for Hubrisโ559Updated last week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollersโ2,123Updated 3 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchainโ1,472Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,717Updated this week
- A wee async RTOS for Cortex-Mโ791Updated last month
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate hostโ2,385Updated this week
- Discover the world of microcontrollers through Rust!โ1,563Updated 3 months ago
- a debugger for async rust!โ4,225Updated this week
- A Hardware Abstraction Layer (HAL) for embedded systemsโ2,392Updated last week
- An interpreter for Rust's mid-level intermediate representationโ5,513Updated this week
- A small and fast async runtime for Rustโ4,518Updated last week
- A Rust-based, lightweight unikernel.โ1,342Updated this week
- Modern embedded framework, using Rust and async.โ7,515Updated last week
- Migrate C code to Rustโ4,490Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3โ5,533Updated last week
- elfshaker stores binary objects efficientlyโ2,318Updated last month
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,391Updated 5 months ago
- Coordination repository of the embedded devices Working Groupโ2,076Updated this week
- Safe Rust bindings to POSIX-ish APIsโ1,782Updated last month
- Interactively Visualizing Ownership and Borrowing for Rustโ2,797Updated last year
- GCC Front-End for Rustโ2,718Updated this week
- the champagne of beta embedded databasesโ8,712Updated 4 months ago
- Create ridiculously fast Lexersโ3,283Updated last week
- Rhai - An embedded scripting language for Rust.โ4,906Updated 3 weeks ago
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devicesโ1,233Updated 3 months ago
- A free book about developing secure and robust systems software.โ1,371Updated 3 months ago