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 7 years ago
• iMasaruOki / rust-dpdk
  Rust bindings to Intel's DPDK.
  ☆13Updated 6 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• msyksphinz-self / swimmer_rust
  RISC-V Simulator written in Rust
  ☆20Updated 5 years ago
• KeenS / WebAssembler-rs
  An in memory wasm assembler for Rust
  ☆11Updated 3 years ago
• frugalos / ecpool
  A Rust crate that provides thread pool for managing executions of erasure coding
  ☆14Updated 3 years ago
• PFLab-OS / Toshokan
  another abstraction layer for operating system developers
  ☆11Updated 4 years ago
• orumin / rust-uefi-sample
  Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.
  ☆17Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• maekawatoshiki / rcaml
  rcaml is an OCaml implementation in Rust
  ☆62Updated 7 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆49Updated 3 years ago
• ELD / aluminum-rs
  Rust static site generator
  ☆12Updated 7 years ago
• maekawatoshiki / tourmaline
  Tourmaline is a AOT programming language with LLVM
  ☆12Updated 7 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• huonw / brainfuck_macros
  A brainfuck procedural macro for Rust
  ☆62Updated 8 years ago
• hhatto / cargo-strict
  avoid unwrap() method
  ☆19Updated last year
• majorz / nginx-rs
  Nginx module development with Rust [stalled]
  ☆14Updated 9 years ago
• huonw / llvmint
  ☆25Updated 9 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆204Updated 10 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated 7 months ago
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated last month
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• rust-dev-tools / rls-data
  Data structures used by the RLS and Rust compiler
  ☆11Updated 6 years ago
• defuz / oniguruma
  Rust bindings for the Oniguruma regular expressions library.
  ☆9Updated 7 years ago
• raviqqe / ssf
  Structurally-typed strict functional core language
  ☆19Updated 4 months ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 8 years ago
• souvik1997 / kernel-roulette
  A kernel module written in Rust
  ☆136Updated 5 years ago