connorkuehl / xv6-rustLinks
A faithful port of the 32-bit xv6 learner's operating system to the Rust programming language
☆19Updated 7 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
- An TUI based elf analyzer☆10Updated 4 years ago
- A Rust library which is useful to handle xHCI☆46Updated last year
- A toy OS written in Rust supporting xHCI.☆43Updated last year
- Buddy allocator, forked from the toyos repository.☆15Updated 4 years ago
- Ergonomic Rust framework for writing UEFI applications.☆70Updated 11 months ago
- Libraries for handling ELF.☆15Updated 2 years ago
- ☆29Updated 9 years ago
- (wip) re-implementation xv6 in rust☆16Updated 7 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22Updated 7 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆32Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 4 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A custom OS kernel that followed (then diverged from) Philipp Oppermann's tutorial on writing an OS in Rust☆22Updated 2 years ago
- Initialization code ("crt0") written in Rust☆69Updated 4 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆58Updated 5 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- dom-like layout for terminal applications☆13Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Simple malloc implementation.☆33Updated 10 months ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A L4-like micro-kernel OS written in Rust☆67Updated last year
- Composable digital logic simulation in Rust!☆33Updated 5 years ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- RISC-V Assembler☆18Updated 2 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Updated 4 years ago
- A golden file testing library for rust☆38Updated 3 months ago
- ☆37Updated 4 years ago
- A tiny C language compiler (x86-64) (WIP)☆32Updated 2 years ago