Alternatives and similar repositories for puddle

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

• pczarn / rustboot
  A multi-platform kernel written in Rust
  ☆198Updated 9 years ago
• miselin / rustic
  Rustic Embedded Framework
  ☆189Updated 4 years ago
• wbthomason / ironkernel
  A multi-platform kernel written in Rust
  ☆58Updated 7 years ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• thiagopnts / rustico
  Yet another tiny and unfinished x86/ARM kernel
  ☆81Updated 8 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆205Updated 10 years ago
• pcwalton / zero.rs
  A module for freestanding Rust programs
  ☆246Updated 11 years ago
• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆304Updated 5 years ago
• alexcrichton / rlibc
  ☆77Updated 6 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆116Updated 6 years ago
• rust-lang / rust-wiki-backup
  A backup of the Rust wiki
  ☆70Updated 8 years ago
• vnd / rarm
  ARMv7 emulator written in Rust
  ☆115Updated 8 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆57Updated 8 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• ashleygwilliams / x86-kernel
  a simple x86 kernel, extended with Rust
  ☆226Updated 3 years ago
• redox-os / book
  Mirror of https://gitlab.redox-os.org/redox-os/book
  ☆102Updated this week
• sos-os / kernel
  The Stupid Operating System
  ☆270Updated 6 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆285Updated 2 years ago
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 8 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆170Updated 7 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• kmcallister / tiny-rust-demo
  Using Rust to make a 151-byte static AMD64 Linux binary
  ☆57Updated 4 years ago
• scialex / reenix
  A Rust version of the Weenix OS
  ☆318Updated 10 years ago
• klutzy / suruga
  [INACTIVE] TLS 1.2 implementation in Rust
  ☆125Updated 9 years ago
• trevp / screech
  Rust implementation of Noise
  ☆126Updated 8 years ago
• redox-os / ralloc
  Mirror of https://gitlab.redox-os.org/redox-os/ralloc
  ☆321Updated 4 years ago
• ckkashyap / rustix
  Unix kernel in rust
  ☆99Updated 10 years ago