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☆87Updated 2 weeks ago
- A high-level API for interacting with SMT solvers.☆33Updated 2 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated 2 years ago
- Rust RISC-V Virtual Machine☆113Updated 5 months ago
- ☆22Updated this week
- ☆74Updated last year
- 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☆17Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆43Updated 3 weeks ago
- Assembler toolkit: encoding and decoding of various architectures☆38Updated last year
- Simple library for decoding RISC-V instructions☆24Updated 2 months ago
- New register allocator designed as a successor to regalloc2☆56Updated 2 months ago
- Easy SMT solver interaction☆34Updated this week
- ☆13Updated 3 years ago
- LLVM Kaleidoscope Tutorial in Rust☆45Updated 8 months ago
- QEMU for Rust, and Rust for QEMU☆89Updated last month
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆28Updated 10 months ago
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆86Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Updated 9 months ago
- Symbolic Execution Engine in Rust☆21Updated 2 years ago
- arm decoders for the yaxpeax project☆35Updated 3 months 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…☆64Updated last week
- NVidia sass disassembler/inline patcher☆41Updated this week
- Caliptra MCU Software☆21Updated this week
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆13Updated 2 years ago
- An LC-3 virtual machine written in Rust for learning purposes.☆45Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆20Updated this week
- LLVM alternative in Rust☆15Updated last year