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
  ☆205Updated 10 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 7 years ago
• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 6 years ago
• johalun / echo
  FreeBSD kernel module in Rust
  ☆66Updated 8 years ago
• KeenS / WebAssembler-rs
  An in memory wasm assembler for Rust
  ☆11Updated 3 years ago
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆26Updated 6 months ago
• herumi / opti
  ☆30Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• msyksphinz-self / swimmer_rust
  RISC-V Simulator written in Rust
  ☆20Updated 5 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 3 years ago
• hhatto / cargo-strict
  avoid unwrap() method
  ☆19Updated last year
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 8 years ago
• alexcrichton / rlibc
  ☆77Updated 6 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆136Updated 6 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 3 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• frugalos / cannyls
  An embedded persistent key-value storage for Rust that is optimized for random-access workload and huge-capacity HDD
  ☆111Updated 3 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 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.
  ☆186Updated 4 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆170Updated 7 years ago
• szktty / starlight
  [WIP] Yet another Erlang implementation in Rust
  ☆33Updated 6 years ago
• gifnksm / power-assert-rs
  Power Assert in Rust. Provides better assertion message.
  ☆115Updated 3 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆134Updated 4 years ago
• lpha-z / ltmpc
  C++11TMP compile time C compiler
  ☆27Updated 7 years ago
• majorz / nginx-rs
  Nginx module development with Rust [stalled]
  ☆14Updated 10 years ago
• kawakami-o3 / r9ir
  Rewrite 9cc in Rust
  ☆12Updated 3 years ago