Alternatives and similar repositories for rust-uefi

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

• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 8 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆207Updated 11 years ago
• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 7 years ago
• johalun / echo
  FreeBSD kernel module in Rust
  ☆67Updated 8 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 9 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 9 years ago
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 9 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 8 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 years ago
• huonw / brainfuck_macros
  A brainfuck procedural macro for Rust
  ☆64Updated 9 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 4 years ago
• zonyitoo / simplesched
  The most naive Coroutine scheduler in Rust
  ☆35Updated 10 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆12Updated last year
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• ngsankha / numrs
  numerical computations library
  ☆13Updated 9 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• TomBebbington / llvm-rs
  LLVM wrappers for Rust
  ☆69Updated 8 years ago
• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 years ago
• cisco / lal-build-manager
  Project dependency manager
  ☆74Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 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.
  ☆189Updated 4 years ago
• nikomatsakis / rusty-peg
  ☆17Updated 10 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆135Updated 6 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• nikomatsakis / nll-rfc
  Non-lexical lifetimes RFC.
  ☆49Updated 7 years ago
• dhuseby / cargo-bootstrap
  Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.
  ☆36Updated 7 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆98Updated 10 years ago