oxidecomputer / hubrisLinks
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
โ3,314Updated this week
Alternatives and similar repositories for hubris
Users that are interested in hubris are comparing it to the libraries listed below
Sorting:
- Hermit for Rust.โ1,844Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,069Updated last year
- A secure embedded operating system for microcontrollersโ6,072Updated this week
- Debugger for Hubrisโ562Updated last week
- Modern embedded framework, using Rust and async.โ7,757Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollersโ2,158Updated last week
- a smol tcp/ip stackโ4,240Updated 3 weeks ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate hostโ2,440Updated this week
- A wee async RTOS for Cortex-Mโ798Updated 2 months ago
- Source code of Ferrocene, safety-critical Rust toolchainโ1,495Updated this week
- Write expressive, high-performance parsers with ease.โ4,303Updated this week
- Discover the world of microcontrollers through Rust!โ1,567Updated 4 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,420Updated 6 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,735Updated last month
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devicesโ1,242Updated 4 months ago
- A Hardware Abstraction Layer (HAL) for embedded systemsโ2,424Updated 3 weeks ago
- An interpreter for Rust's mid-level intermediate representationโ5,590Updated this week
- Migrate C code to Rustโ4,562Updated this week
- a debugger for async rust!โ4,295Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,792Updated 7 months ago
- GCC Front-End for Rustโ2,759Updated this week
- A Rust-based, lightweight unikernel.โ1,370Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,524Updated last week
- elfshaker stores binary objects efficientlyโ2,318Updated 2 months ago
- A small and fast async runtime for Rustโ4,605Updated 2 weeks ago
- Kani Rust Verifierโ2,745Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3โ5,610Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,604Updated last week
- Create ridiculously fast Lexersโ3,329Updated 2 weeks ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ2,938Updated last month