mischief / rust-uefi
☆15Updated 7 years ago
Alternatives and similar repositories for rust-uefi:
Users that are interested in rust-uefi are comparing it to the libraries listed below
- No longer maintained☆38Updated 7 years ago
- Rust bindings to Intel's DPDK.☆13Updated 6 years ago
- x86 intrinsics for rust☆40Updated 7 years ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- An in memory wasm assembler for Rust☆11Updated 3 years ago
- A Rust crate that provides thread pool for managing executions of erasure coding☆14Updated 3 years ago
- another abstraction layer for operating system developers☆11Updated 4 years ago
- Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.☆17Updated 5 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- rcaml is an OCaml implementation in Rust☆62Updated 7 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆49Updated 3 years ago
- Rust static site generator☆12Updated 7 years ago
- Tourmaline is a AOT programming language with LLVM☆12Updated 7 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- A brainfuck procedural macro for Rust☆62Updated 8 years ago
- avoid unwrap() method☆19Updated last year
- Nginx module development with Rust [stalled]☆14Updated 9 years ago
- ☆25Updated 9 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Rust firewall for seL4☆10Updated 6 years ago
- EFI applications in Rust☆204Updated 10 years ago
- rust verification condition generator☆96Updated 8 years ago
- Plugin files for editing K files☆11Updated 7 months ago
- A min-caml port to Rust☆25Updated last month
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Data structures used by the RLS and Rust compiler☆11Updated 6 years ago
- Rust bindings for the Oniguruma regular expressions library.☆9Updated 7 years ago
- Structurally-typed strict functional core language☆19Updated 4 months ago
- A simple example for a Rust compiler plugin☆11Updated 8 years ago
- A kernel module written in Rust☆136Updated 5 years ago