oxidecomputer / humilityLinks
Debugger for Hubris
☆545Updated 2 weeks ago
Alternatives and similar repositories for humility
Users that are interested in humility are comparing it to the libraries listed below
Sorting:
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,176Updated this week
- A wee async RTOS for Cortex-M☆766Updated 3 weeks ago
- expose REST APIs from a Rust program☆1,048Updated this week
- 🍄 an alleged 'operating system'☆636Updated this week
- Omicron: Oxide control plane☆294Updated this week
- The FLS☆443Updated this week
- Hermit for Rust.☆1,787Updated this week
- single file, std only, async Rust executor☆574Updated 7 months ago
- Capability-oriented version of the Rust standard library☆690Updated last month
- An Operating System for Building Small Computers☆282Updated 4 months ago
- A precise specification for "Rust lite / MIR plus"☆867Updated 2 weeks ago
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆299Updated 11 months ago
- rd is a record/replay debugger written in rust☆960Updated 3 years ago
- The superconsole crate provides a handler and building blocks for powerful, yet minimally intrusive TUIs. It is cross platform, supporti…☆501Updated this week
- Shuttle is a library for testing concurrent Rust code☆808Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 3 weeks ago
- Efficient, deferred formatting for logging on embedded systems☆1,016Updated this week
- The Xous microkernel☆569Updated this week
- Cranelift based backend for rustc☆1,782Updated last week
- allocscope - a memory tracking tool☆554Updated 2 years ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,422Updated this week
- Show notes from Oxide and Friends recordings☆339Updated 2 weeks ago
- Rust programs written entirely in Rust☆834Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆476Updated last month
- Run embedded programs just like native ones☆644Updated last year
- A storage service.☆198Updated this week
- Concurrency permutation testing tool for Rust.☆2,373Updated last month
- How to avoid complicated coordinated upgrades☆523Updated 4 months ago
- A Rust-based, lightweight unikernel.☆1,297Updated last week
- Comparison of Rust async and Linux thread context switch time.☆728Updated 6 months ago