losfair / VioletLinks
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
Sorting:
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 5 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- Rust library for low-level abstraction of MIPS processors☆31Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- ☆27Updated 2 months ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 3 years ago
- Manythread RISC-V overlay for FPGA clusters☆38Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆11Updated 3 years ago
- ☆29Updated 2 weeks ago
- Personal reading notes (zh-CN)☆9Updated 11 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated last year
- Galois RISC-V ISA Formal Tools☆60Updated 3 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Easy SMT solver interaction☆35Updated 3 months ago
- Very Naive MIPS CPU using Clash☆29Updated 3 years ago
- CHERI-RISC-V model written in Sail☆60Updated 3 weeks ago
- ☆23Updated 2 years ago
- Rust RISC-V Virtual Machine☆105Updated 8 months ago
- ☆37Updated 3 years ago
- benchmarking e-graph extraction☆45Updated last month
- Dockerfile with Vivado for CI☆28Updated 5 years ago
- Apple Silicon TSO Enabler for Linux☆17Updated last year
- Asynchronous OS kernel written in Rust.☆34Updated 4 years ago
- Simple library for decoding RISC-V instructions☆24Updated 10 months ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆80Updated 2 weeks ago
- User programs for rCore OS☆18Updated 3 years ago
- Tex source for talk slide.☆10Updated 4 years ago