mischief / rust-uefiLinks
☆15Updated 8 years ago
Alternatives and similar repositories for rust-uefi
Users that are interested in rust-uefi are comparing it to the libraries listed below
Sorting:
- No longer maintained☆38Updated 8 years ago
- Rust bindings to Intel's DPDK.☆13Updated 6 years ago
- x86 intrinsics for rust☆40Updated 7 years ago
- EFI applications in Rust☆208Updated 10 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- FreeBSD kernel module in Rust☆66Updated 8 years ago
- Xen-based unikernel in Rust☆57Updated 8 years ago
- ☆77Updated 6 years ago
- Rust IP Stack - A userspace IP stack written in Rust (Work in progress)☆32Updated 8 years ago
- Rust IP Stack - A full userspace TCP/IP stack written in Rust (Work in progress)☆129Updated 8 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆49Updated 3 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A kernel module written in Rust☆135Updated 6 years ago
- rust verification condition generator☆96Updated 9 years ago
- Experimental kernel for embedded devices written in Rust☆91Updated 3 years ago
- Unikernel written in rust☆33Updated 9 years ago
- A simple example for a Rust compiler plugin☆11Updated 9 years ago
- An in memory wasm assembler for Rust☆11Updated 3 years ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- Non-lexical lifetimes RFC.☆48Updated 7 years ago
- An embedded persistent key-value storage for Rust that is optimized for random-access workload and huge-capacity HDD☆112Updated 3 years ago
- Multiboot library written in rust.☆21Updated 2 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 10 years ago
- [INACTIVE] TLS 1.2 implementation in Rust☆125Updated 9 years ago
- Implementation of libm in rust☆34Updated 8 years ago
- Experimental minisat SAT solver reimplementation in Rust☆71Updated 6 years ago
- Project dependency manager☆74Updated 6 years ago
- A network stack in pure Rust☆58Updated 8 years ago
- [INACTIVE] const-time Rust experiment☆97Updated 9 years ago
- A min-caml port to Rust☆26Updated 7 months ago