connorkuehl / xv6-rust
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆17Updated 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
- The uncurried minimal functional programming language for CPS transformation☆18Updated 11 months ago
- A min-caml port to Rust☆25Updated last month
- rcaml is an OCaml implementation in Rust☆61Updated 7 years ago
- Libraries for handling ELF.☆15Updated last year
- A toy OS written in Rust supporting xHCI.☆41Updated 11 months ago
- Structurally-typed strict functional core language☆19Updated 2 months ago
- WIP Port of Rust's std to Minix☆43Updated 5 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆28Updated 2 months ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- Formal semantics of Rust☆23Updated 3 years ago
- optimizing compiler for a subset of C language☆34Updated 5 years ago
- x86 emulator in Rust☆35Updated 3 years ago
- A Rust library which is useful to handle xHCI☆42Updated 4 months ago
- the peachili( Peach + Chili) programming language☆11Updated 3 years ago
- An TUI based elf analyzer☆10Updated 3 years ago
- Fast Brainfuck interpreter in Rust.☆21Updated 4 years ago
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago
- An Experimental LISP☆20Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Initialization code ("crt0") written in Rust☆69Updated 3 years ago
- A VM-based runtime environment for functional programming languages☆46Updated 7 years ago
- Debugger written in Rust☆19Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A minimal runtime for seL4 applications.☆13Updated 6 months ago
- ☆16Updated last year
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆37Updated 7 months ago
- A simple example for a Rust compiler plugin☆11Updated 8 years ago
- File Descriptors Rust crate☆13Updated 4 years ago
- Apps for running with the rumprun unikernel on seL4.☆31Updated last month