GregAC / rrsLinks
Rust RISC-V Simulator
☆42Updated last year
Alternatives and similar repositories for rrs
Users that are interested in rrs are comparing it to the libraries listed below
Sorting:
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- Symbolic execution tool for Sail ISA specifications☆79Updated 3 months ago
- Rust RISC-V Virtual Machine☆111Updated 4 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆40Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- Simple library for decoding RISC-V instructions☆24Updated last month
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆27Updated 8 months ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆33Updated last year
- Rust Bindings and tools for the Intel® Simics® Simulator☆15Updated last month
- arm decoders for the yaxpeax project☆31Updated 2 months ago
- Assembler toolkit: encoding and decoding of various architectures☆38Updated last year
- New register allocator designed as a successor to regalloc2☆54Updated last month
- QEMU for Rust, and Rust for QEMU☆83Updated 2 weeks ago
- Buddy allocator, forked from the toyos repository.☆15Updated 4 years ago
- An embedded OS for Apple M1 Pro chipsets☆18Updated 2 years ago
- ☆74Updated last year
- Easy SMT solver interaction☆34Updated 4 months ago
- A high-level API for interacting with SMT solvers.☆32Updated last week
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 6 months ago
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆77Updated this week
- ☆21Updated last month
- ☆13Updated 3 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Finding ownership bugs at scale.☆21Updated this week
- An HDL embedded in Rust.☆202Updated 2 years ago
- ☆52Updated last month
- An LC-3 virtual machine written in Rust for learning purposes.☆43Updated 2 years ago
- ☆16Updated 4 years ago
- LLVM Kaleidoscope Tutorial in Rust☆44Updated 7 months ago
- fundamental traits to describe an architecture in the yaxpeax project☆16Updated 9 months ago