Alternatives and similar repositories for hubris

Users that are interested in hubris are comparing it to the libraries listed below

• theseus-os / Theseus
  Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…
  ☆3,049Updated 11 months ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,001Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,821Updated this week
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,173Updated 2 weeks ago
• oxidecomputer / humility
  Debugger for Hubris
  ☆554Updated 2 weeks ago
• probe-rs / probe-rs
  A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
  ☆2,352Updated this week
• tokio-rs / console
  a debugger for async rust!
  ☆4,199Updated last week
• ferrocene / ferrocene
  Source code of Ferrocene, safety-critical Rust toolchain
  ☆1,464Updated this week
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆787Updated last week
• embassy-rs / embassy
  Modern embedded framework, using Rust and async.
  ☆7,424Updated last week
• rtic-rs / rtic
  Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
  ☆2,105Updated this week
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,458Updated this week
• tnballo / high-assurance-rust
  A free book about developing secure and robust systems software.
  ☆1,366Updated 2 months ago
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,714Updated this week
• rust-embedded / embedded-hal
  A Hardware Abstraction Layer (HAL) for embedded systems
  ☆2,368Updated last week
• rust-embedded / book
  Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices
  ☆1,223Updated 2 months ago
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,476Updated last week
• rust-embedded / discovery
  Discover the world of microcontrollers through Rust!
  ☆1,563Updated 2 months ago
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,229Updated last week
• DataDog / glommio
  Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …
  ☆3,378Updated 4 months ago
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,704Updated this week
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,780Updated 5 months ago
• rust-embedded / wg
  Coordination repository of the embedded devices Working Group
  ☆2,064Updated last month
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,794Updated last year
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,231Updated this week
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,317Updated 2 weeks ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,666Updated this week
• immunant / c2rust
  Migrate C code to Rust
  ☆4,470Updated this week
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,474Updated 3 weeks ago
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,498Updated this week