Alternatives and similar repositories for rust-uefi

Users that are interested in rust-uefi are comparing it to the libraries listed below

• eholk / Boot2Rust
  EFI applications in Rust
  ☆207Updated 10 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 8 years ago
• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 7 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 7 years ago
• johalun / echo
  FreeBSD kernel module in Rust
  ☆66Updated 8 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆135Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 4 years ago
• KeenS / WebAssembler-rs
  An in memory wasm assembler for Rust
  ☆11Updated 3 years ago
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 8 years ago
• szktty / starlight
  [WIP] Yet another Erlang implementation in Rust
  ☆33Updated 6 years ago
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• sivadeilra / racc
  A port of the Berkeley YACC parser-generator to Rust
  ☆133Updated 2 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆50Updated 8 years ago
• dhuseby / cargo-bootstrap
  Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.
  ☆35Updated 7 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆171Updated 7 years ago
• zonyitoo / simplesched
  The most naive Coroutine scheduler in Rust
  ☆35Updated 9 years ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 9 years ago
• dwango / fibers-rs
  A Rust library to execute a number of lightweight asynchronous tasks (a.k.a, fibers) based on futures and mio.
  ☆188Updated 4 years ago
• gz / rust-multiboot
  Multiboot library written in rust.
  ☆22Updated 2 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 years ago
• cisco / lal-build-manager
  Project dependency manager
  ☆74Updated 6 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• thiagopnts / rustico
  Yet another tiny and unfinished x86/ARM kernel
  ☆81Updated 8 years ago
• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 years ago