GregAC / rrsLinks
Rust RISC-V Simulator
☆41Updated 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
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆27Updated 7 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated last month
- Simple library for decoding RISC-V instructions☆24Updated last week
- Rust Bindings and tools for the Intel® Simics® Simulator☆15Updated last month
- Symbolic execution tool for Sail ISA specifications☆79Updated 2 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- Rust RISC-V Virtual Machine☆111Updated 3 months ago
- QEMU for Rust, and Rust for QEMU☆80Updated 2 months ago
- A high-level API for interacting with SMT solvers.☆32Updated last month
- A hypervisor written in Rust.☆126Updated 3 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Updated 7 months ago
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- ☆76Updated last year
- New register allocator designed as a successor to regalloc2☆54Updated 2 weeks ago
- ☆16Updated 4 years ago
- arm decoders for the yaxpeax project☆31Updated last month
- An HDL embedded in Rust.☆202Updated 2 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆63Updated last year
- ☆21Updated last week
- WIP UEFI Display Driver for embedded-graphics☆25Updated 4 years ago
- Library to load and relocate ELF files.☆133Updated last week
- Assembler toolkit: encoding and decoding of various architectures☆38Updated 11 months ago
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 5 months ago
- Easy SMT solver interaction☆34Updated 4 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆192Updated last week
- ☆13Updated 3 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆59Updated last week
- Display debugging information☆150Updated 2 months ago
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆74Updated last month