connorkuehl / xv6-rustLinks
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆18Updated 6 years ago
Alternatives and similar repositories for xv6-rust
Users that are interested in xv6-rust are comparing it to the libraries listed below
Sorting:
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A Rust library which is useful to handle xHCI☆44Updated 9 months ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- An TUI based elf analyzer☆10Updated 4 years ago
- Libraries for handling ELF.☆15Updated 2 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- A prototype embedded operating system written in Rust☆61Updated 3 years ago
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated this week
- ☆27Updated 8 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated 11 months ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- x86 emulator in Rust☆37Updated 3 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆31Updated 6 months ago
- Structurally-typed strict functional core language☆19Updated 6 months ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- Fast Brainfuck interpreter in Rust.☆21Updated 4 years ago
- Tourmaline is a AOT programming language with LLVM☆12Updated 7 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- Useful types for dealing with PCI☆33Updated 7 months ago
- A min-caml port to Rust☆25Updated 3 months ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- ☆15Updated 2 years ago
- ☆17Updated 2 years ago
- Automatic peephole optimizer for Cranelift JIT compiler☆19Updated 4 years ago
- A minimal runtime for seL4 applications.☆14Updated 2 months ago
- Rust bindings to Intel's DPDK.☆13Updated 6 years ago
- RISC-V Assembler☆18Updated last year