losfair / Violet
Superscalar RISC-V processor written in Clash.
☆34Updated 2 years ago
Alternatives and similar repositories for Violet:
Users that are interested in Violet are comparing it to the libraries listed below
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- Booting multi-processors on x86 bare-metal.☆11Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- ☆27Updated 2 months ago
- Rust RISC-V Virtual Machine☆97Updated 5 months ago
- Apple Silicon TSO Enabler for Linux☆16Updated last year
- Serialize & deserialize device tree binary using serde☆20Updated last week
- Easy SMT solver interaction☆35Updated last month
- RISCV Core written in Calyx☆16Updated 8 months ago
- benchmarking e-graph extraction☆37Updated 5 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 4 years ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- What if everything is a io_uring?☆16Updated 2 years ago
- CHERI-RISC-V model written in Sail☆58Updated 2 weeks ago
- Very simple, explicit parameters-only dependent type elaborator.☆10Updated 4 years ago
- Rust library for low-level abstraction of MIPS processors☆31Updated 4 years ago
- Dockerfile with Vivado for CI☆28Updated 5 years ago
- RUst way for Reuse Analysis☆12Updated last year
- Personal reading notes (zh-CN)☆8Updated 9 months ago
- Generate interface between Clash and Verilator☆22Updated last year
- ☆37Updated 3 years ago
- Warning: 🕳 ahead!☆16Updated 5 years ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆33Updated 9 months ago
- Formal semantics of Rust☆23Updated 4 years ago
- The LLHD reference simulator.☆37Updated 4 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆15Updated 2 years ago
- Asynchronous OS kernel written in Rust.☆34Updated 4 years ago