Alternatives and similar repositories for rust-uefi

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

• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 7 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 8 years ago
• johalun / echo
  FreeBSD kernel module in Rust
  ☆67Updated 8 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆207Updated 11 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆63Updated 8 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 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
• gz / rust-multiboot
  Multiboot library written in rust.
  ☆22Updated 3 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆135Updated 6 years ago
• herumi / opti
  ☆30Updated 2 years ago
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆12Updated last year
• szktty / starlight
  [WIP] Yet another Erlang implementation in Rust
  ☆33Updated 6 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 9 years ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 9 years ago
• dhuseby / cargo-bootstrap
  Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.
  ☆36Updated 7 years ago
• sile / erl_parse
  Erlang source code parser written in Rust
  ☆10Updated 4 years ago
• faern / librips
  Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)
  ☆129Updated 9 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆98Updated 10 years ago
• andars / pebble.rs
  rust on pebble - functional with limited capabilities
  ☆45Updated 6 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆173Updated 8 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• frugalos / cannyls
  An embedded persistent key-value storage for Rust that is optimized for random-access workload and huge-capacity HDD
  ☆113Updated 4 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
• msyksphinz-self / swimmer_rust
  RISC-V Simulator written in Rust
  ☆20Updated 5 years ago
• cisco / lal-build-manager
  Project dependency manager
  ☆74Updated 6 years ago