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☆66Updated 2 years ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆15Updated 2 weeks ago
- Symbolic execution tool for Sail ISA specifications☆78Updated last month
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated last week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- Rust RISC-V Virtual Machine☆110Updated 2 months ago
- QEMU for Rust, and Rust for QEMU☆80Updated 2 months ago
- A high-level API for interacting with SMT solvers.☆31Updated 2 weeks ago
- ☆76Updated last year
- Simple library for decoding RISC-V instructions☆24Updated 2 months ago
- Assembler toolkit: encoding and decoding of various architectures☆37Updated 11 months ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated last year
- An LC-3 virtual machine written in Rust for learning purposes.☆42Updated 2 years ago
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆26Updated 7 months ago
- New register allocator designed as a successor to regalloc2☆50Updated 3 weeks ago
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- A Rust crate for creating memory dumps of running processes on Linux☆61Updated 5 months ago
- ☆13Updated 3 years ago
- In-memory x86-64 assembler for JIT compiler.☆77Updated 6 months ago
- A hypervisor written in Rust.☆125Updated 3 years ago
- ☆21Updated last week
- NVidia sass disassembler/inline patcher☆30Updated this week
- A utility library to bridge llvm and mlir gaps.☆13Updated 10 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆23Updated 6 months ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆92Updated this week
- Library to load and relocate ELF files.☆131Updated 3 weeks 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 3 months ago
- Direct, source-level WebAssembly debugger☆51Updated 4 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Proxy LLVM calls into Rust own shared library in runtime☆35Updated last year