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
- An TUI based elf analyzer☆10Updated 4 years ago
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- Easy SMT solver interaction☆35Updated 3 weeks ago
- A Rust library which is useful to handle xHCI☆46Updated 11 months ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 4 years ago
- ☆28Updated 8 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- ☆66Updated 2 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Updated 5 years ago
- ☆17Updated 2 years ago
- A disassembler framework☆18Updated 2 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago
- Fast Brainfuck interpreter in Rust.☆21Updated 4 years ago
- The UNIX v6 shell, written idiomatically in Rust.☆19Updated 9 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- RISC-V Assembler☆18Updated last year
- A simple example for a Rust compiler plugin☆11Updated 9 years ago
- Single-address-space capability-based nanokernel☆82Updated 3 weeks ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- ☆37Updated 3 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 5 years ago