5-stage RISC-V CPU, originally developed for RISCBoy
☆35Jul 1, 2023Updated 2 years ago
Alternatives and similar repositories for Hazard5
Users that are interested in Hazard5 are comparing it to the libraries listed below
Sorting:
- Reusable Verilog 2005 components for FPGA designs☆49Dec 14, 2025Updated 2 months ago
- A SoC for DOOM☆20Apr 11, 2021Updated 4 years ago
- Portable games console, designed from scratch: CPU, graphics, PCB, and the kitchen sink☆293Dec 14, 2025Updated 2 months ago
- An experimental CPU core with 8-bit instruction words and 32-bit registers☆19Jun 1, 2025Updated 9 months ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- Smol 2-stage RISC-V processor in nMigen☆26May 6, 2021Updated 4 years ago
- 3-stage RV32IMACZb* processor with debug☆1,010Dec 14, 2025Updated 2 months ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- LEC - Logic Equivalence Checking - Formal Verification☆33Updated this week
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- A set of small Verilog projects, to simulate and implement on FPGA development boards☆15Mar 5, 2018Updated 8 years ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 7 months ago
- Port of EmuTOS to the ARM architecture.☆27May 25, 2021Updated 4 years ago
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 3 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Small microcoded 68000 verilog softcore☆59Oct 30, 2018Updated 7 years ago
- The game 2048 (for Turbo Pascal, Free Pascal and TMT Pascal)☆17Jul 26, 2022Updated 3 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- ☆28Mar 31, 2025Updated 11 months ago
- Ported source code from book "Black Art of 3D Game Programming"☆17Mar 4, 2023Updated 3 years ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- Universal Advanced JTAG Debug Interface☆17May 10, 2024Updated last year
- A quick and dirty test of PDM audio output☆22Feb 22, 2024Updated 2 years ago
- USB 1.1 Device IP Core☆21Oct 1, 2017Updated 8 years ago
- Racket bindings for Z3☆20Aug 7, 2012Updated 13 years ago
- C++ TCP/IP and SSH stack with bounded run time and no dynamic memory allocations☆41Jul 18, 2025Updated 7 months ago
- ☆19Jul 12, 2024Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- 80486 on the Sipeed Tang Console 138K FPGA☆100Feb 7, 2026Updated 3 weeks ago
- ☆22Dec 2, 2022Updated 3 years ago
- Tiny RISC-V machine code monitor written in RISC-V assembly.☆57Dec 2, 2025Updated 3 months ago
- Simple RiscV core for academic purpose.☆23Apr 29, 2020Updated 5 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- 6502 SoC for the Tang Nano 20k FPGA Board☆24Oct 10, 2025Updated 4 months ago
- Plaintext-based chiptune player☆28Sep 28, 2025Updated 5 months ago
- Gate array reverse engineering☆29Dec 28, 2025Updated 2 months ago
- Game Boy Advance port of the Atari ST demo STNICCC 2000 by Oxygene☆27Aug 26, 2024Updated last year
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year