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
• eholk / Boot2Rust
  EFI applications in Rust
  ☆207Updated 11 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 7 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 8 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• johalun / echo
  FreeBSD kernel module in Rust
  ☆67Updated 8 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆51Updated 8 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆135Updated 6 years ago
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• KeenS / WebAssembler-rs
  An in memory wasm assembler for Rust
  ☆11Updated 3 years ago
• msyksphinz-self / swimmer_rust
  RISC-V Simulator written in Rust
  ☆20Updated 5 years ago
• withoutboats / burrito
  A monadic IO interface in Rust
  ☆78Updated 9 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 9 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 4 years ago
• nikomatsakis / nll-rfc
  Non-lexical lifetimes RFC.
  ☆48Updated 7 years ago
• herumi / opti
  ☆30Updated 2 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆97Updated 10 years ago
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 9 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆173Updated 7 years ago
• cisco / lal-build-manager
  Project dependency manager
  ☆74Updated 6 years ago
• gifnksm / power-assert-rs
  Power Assert in Rust. Provides better assertion message.
  ☆116Updated 3 years ago
• huonw / llvmint
  ☆27Updated 10 years ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 9 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆73Updated 6 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆30Updated 5 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 years ago