An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: riscv32

weizhiao/rust-elfloader

A loader capable of loading and relocating various forms of ELF files from memory or files.

Language: Rust - Size: 454 KB - Last synced at: about 14 hours ago - Pushed at: about 14 hours ago - Stars: 43 - Forks: 10

ccattuto/riscv-python

RISC-V Emulator in pure Python (RV32I, machine mode, Newlib support)

Language: Python - Size: 407 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 0

LekKit/RVVM

The RISC-V Virtual Machine

Language: C - Size: 3.79 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 1,043 - Forks: 75

saursin/riscv-atom

An open-source 32-bit RISC-V soft-core processor

Language: C++ - Size: 2.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 34 - Forks: 15

JN513/Grande-Risco-5

Grande RISCO 5 is a RISC-V RV32IMBC_Zicsr processor with a 5-stage pipeline, developed in just a few days off.

Language: SystemVerilog - Size: 521 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 0

tommythorn/yarvi

Yet Another RISC-V Implementation

Language: Roff - Size: 2.82 MB - Last synced at: about 18 hours ago - Pushed at: 7 months ago - Stars: 92 - Forks: 24

chipsalliance/Cores-VeeR-EH1

VeeR EH1 core

Language: SystemVerilog - Size: 17.6 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 870 - Forks: 227

jesseopdenbrouw/thuas-riscv

The THUAS RISC-V RV32IM Zicsr Zicntr Zihpm Zicond Zba Zbb Zbs Sdext Sdtrig microcontroller

Language: C - Size: 20 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1

fedejinich/bitvmx_pkmn_bttl

A Bitcoin-Pokemon game using BitVMX

Language: Zig - Size: 381 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 2 - Forks: 0

sysprog21/rv32emu

Compact and Efficient RISC-V RV32I[MAFC] emulator

Language: C - Size: 11.2 MB - Last synced at: 5 days ago - Pushed at: 29 days ago - Stars: 470 - Forks: 112

markelmencia/rvik

RV32i assembler and simulator

Language: Java - Size: 530 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

developeruche/riscv-evm-experiment

The RISC-V EVM Experiment aims to bridge the gap between the RISC-V instruction set architecture and the Ethereum Virtual Machine (EVM). By integrating RISC-V with the EVM, we seek to create a more efficient, secure, and scalable blockchain VM platform. With the vast target diversity of the RISC-V instruction set architecture.

Language: Rust - Size: 474 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

chipsalliance/Cores-VeeR-EL2

VeeR EL2 Core

Language: SystemVerilog - Size: 33.5 MB - Last synced at: about 10 hours ago - Pushed at: about 10 hours ago - Stars: 274 - Forks: 82

SaiManojGubbala/RISC-V

A 32 Bit RISC-V Processor Implementation in Verilog

Language: Verilog - Size: 4.4 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 3 - Forks: 0

svenssonjoel/lispBM

An interpreter for a concurrent lisp with message-passing and pattern-matching.

Language: C - Size: 25.5 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 102 - Forks: 11

cahirwpz/mimiker

Simple unix-like operating system for education and research purposes

Language: C - Size: 6.94 MB - Last synced at: 9 days ago - Pushed at: 8 months ago - Stars: 306 - Forks: 48

harisraharjo/rivet

RISCV-Inspired 32 bit Virtual Execution Tool

Language: Rust - Size: 324 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

OpenMachine-ai/tinyfive

TinyFive is a lightweight RISC-V emulator and assembler written in Python with neural network examples

Language: Python - Size: 355 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 58 - Forks: 8

mrLSD/riscv-fs

F# RISC-V Instruction Set formal specification

Language: F# - Size: 148 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 282 - Forks: 14

dpretet/axi-crossbar

An AXI4 crossbar implementation in SystemVerilog

Language: SystemVerilog - Size: 438 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 142 - Forks: 27

google/esh

UART based embedded shell for embedded systems. Intended to be used for learning, experimenting and diagnostics.

Language: C - Size: 11.4 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 269 - Forks: 51

tvlad1234/pico-rv32ima

Running Linux on RP2040 with the help of RISC-V emulation

Language: C - Size: 12.3 MB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 272 - Forks: 19

jesse-r-s-hines/RISC-V-Graphical-Datapath-Simulator

This is a web-based graphical simulator for a simple 32-bit, single-cycle implementation of RISC-V.

Language: TypeScript - Size: 9.8 MB - Last synced at: 21 days ago - Pushed at: about 1 month ago - Stars: 17 - Forks: 2

SKpro-glitch/RISCV-Processor-ASIC

This is a basic RISC-V based processor under development. It follows the 32-bit Integer ISA.

Language: Verilog - Size: 138 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

KietLe11/KLP32-RISCV

This project implements a simple RISC-V processor for FPGAs. It supports the RV32I base instruction set and is designed for educational and experimental purposes.

Language: Verilog - Size: 407 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 0

ultraembedded/exactstep

Instruction set simulator for RISC-V, MIPS and ARM-v6m

Language: C++ - Size: 970 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 95 - Forks: 19

Imtjl/io-systems

Low-level I/O systems: OpenSBI, bare-metal C, Linux drivers.

Language: C - Size: 8.56 MB - Last synced at: 27 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

OpenMachine-ai/HuggingFive

HuggingFive 🖐️ is a collection of ML functions and libraries written in RISC-V assembly and C.

Size: 76.2 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

KUNAL-KUMAR-SINGH-Coder/RV32I

Sapphire SoC: RV32I RISC-V core optimized for FPGAs, featuring UVM verification, AXI4-Lite bus, FreeRTOS support, and Shakti-inspired design. Open-source under MIT license for embedded/IoT applications.

Language: Verilog - Size: 111 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 0 - Forks: 0

jserv/rv32jit

JIT-accelerated RISC-V instruction set simulator

Language: C++ - Size: 171 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 33 - Forks: 8

leecannon/zig-sbi

Zig wrapper around the RISC-V SBI specification

Language: Zig - Size: 135 KB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 4

agra-uni-bremen/symex-vp

A concolic testing engine for RISC-V embedded software with support for SystemC peripherals

Language: C++ - Size: 31.7 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 5

Samulix20/GaZmusino

A tiny, open-source RISC-V processor designed for learning and experimentation.

Language: Assembly - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

inpyjama/c-ninja-listings

Lower level assembly and C baremetal programming on RISC-V CPUs. Source code listings from the C-Ninja, in Pyjama! book.

Language: Makefile - Size: 3.17 MB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 7

skyzh/RISCV-Simulator

💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visualization. Project report available.

Language: C++ - Size: 483 KB - Last synced at: 25 days ago - Pushed at: almost 5 years ago - Stars: 201 - Forks: 18

Kristoff-starling/ProjectN-CPU

Single Cycle and Pipeline CPU of RISC-V Architecture designed for Digital Design and Computer Organization Experiments 2021, NJU

Language: C++ - Size: 1.39 MB - Last synced at: 23 days ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 3

Hammersamatom/brv

A WIP RV32I emulator, aiming to eventually support RV64I + MAFDC extensions

Language: C++ - Size: 1.02 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

martinKindall/risc-v-single-cycle

A Single Cycle Risc-V 32 bit CPU

Language: SystemVerilog - Size: 36.1 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 38 - Forks: 2

Shuregg/riscv-simple-cpu

Creating a risc-v processor

Language: SystemVerilog - Size: 4.58 MB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

wooster0/rva

RISC-V Assembler with execution of code at assembly-time

Language: Zig - Size: 39.1 KB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

risc0/risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

Language: Lean - Size: 3.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 62 - Forks: 4

drom/awesome-riscv

😎 A curated list of awesome RISC-V implementations

Size: 27.3 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 134 - Forks: 13

pixelspark/rv32jit

A RISC-V (rv32imc) assembler for JITing on the ESP32

Language: Rust - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

rihib/learn-os-on-weekends

Original material for learning OS

Language: C - Size: 96.7 KB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 5

Seif-Sallam/Disassembler

The project implements the disassemble of the RISCV32IC instructions from binary to actual text instructions.

Language: C++ - Size: 395 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

dernatsch/nrv32emu

RISC-V 32 emulator with not a lot of features.

Language: Rust - Size: 5.27 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

physical-computation/sunflower-embedded-system-emulator

Sunflower Full-System Hardware Emulator and Physical System Simulator for Sensor-Driven Systems. Built-in architecture modeling of Hitachi SH (j-core), RISC-V, and more.

Language: C - Size: 305 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 25 - Forks: 218

lupyuen/nuttx-bl602 Fork of apache/nuttx

Apache NuttX OS as featured in "The RISC-V BL602 Book"

Language: C - Size: 199 MB - Last synced at: about 3 hours ago - Pushed at: 1 day ago - Stars: 10 - Forks: 1

Samulix20/riscv-vhdl

An academic RISC-V processor, implemented in VHDL, capable of running FreeRTOS

Language: C - Size: 340 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 2

lupyuen/nuttx-rust-app

Rust Apps for Apache NuttX RTOS and QEMU RISC-V

Language: Rust - Size: 78.1 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

jesseopdenbrouw/riscv-rv32 📦

A synthesizable RISC-V RV32IM microcontroller written in VHDL

Language: C - Size: 14.3 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

rnayabed/taurus

SDK for CDAC Vega Processors

Language: C - Size: 5.04 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 4

rvangelse/RISC-V

Ejercicios de practica implementados en RISC-V Assembly

Language: Assembly - Size: 24.4 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

mongrelgem/RISCY

Simple RISC-V RV32I CPU in VHDL for use in FPGA Designs

Language: VHDL - Size: 395 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 4

snnbyyds/semu

(NJU CPL2024/ICS2024) SN EMUlator, a simple RV32IMAFD emulator for FUN and practice (JIT Mode WIP)

Language: C - Size: 3.57 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0

Mr-Bossman/KISC-V

KISCV, a KISS principle riscv32i CPU

Language: Verilog - Size: 1.31 MB - Last synced at: 22 days ago - Pushed at: 4 months ago - Stars: 21 - Forks: 1

lupyuen/lora-sx1262

LoRa Driver for Semtech SX1262 on Apache NuttX OS, Linux (PineDio USB Adapter) and BL602 IoT SDK (PineDio Stack BL604)

Language: C - Size: 176 KB - Last synced at: 15 days ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 7

codeljo/riscv-bare-metal

RISC-V Bare Metal Starter Kit

Language: BitBake - Size: 149 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

ultraembedded/riscv32_linux_from_scratch

RISC-V 32-bit Linux From Scratch

Language: Makefile - Size: 9.77 KB - Last synced at: 20 days ago - Pushed at: almost 5 years ago - Stars: 32 - Forks: 5

AnthonyBSong/nanoForge

A assembler and instruction set simulator that supports a minimal set of instructions in various RISC languages.

Language: C++ - Size: 1.08 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

lupyuen/st7789-nuttx

ST7789 and LVGL Demo for Apache NuttX RTOS

Size: 325 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 1

Zilleali/RISCV

Language: C - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

Elkeid-me/Xenon 📦

Xenon compiles SysY (a subset of C) to Koopa IR.

Language: Rust - Size: 133 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ic-lab-duth/DRIM

DUTH RISC-V Microprocessor

Language: SystemVerilog - Size: 396 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 19 - Forks: 7

mk314k/AssemblyTS

Easy running and debugging for assembly codes, built using typescript

Language: TypeScript - Size: 601 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 5 - Forks: 0

jasonlin316/RISC-V-CPU

A RISC-V 5-stage pipelined CPU that supports vector instructions. Tape-out with U18 technology.

Language: Verilog - Size: 20.2 MB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 119 - Forks: 27

jcdubois/xvisor-next Fork of avpatel/xvisor-next

eXtensible Versatile hypervISOR

Language: C - Size: 21.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

qubeck78/tangerineSDL

tangerine Risc-V SOC emulator for SDL ( PC, Linux, Webassembly ), includes RISC-V 32 IM emulation.

Language: JavaScript - Size: 56.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

lupyuen/zig-bl602-nuttx

Zig on RISC-V BL602 with Apache NuttX RTOS and LoRaWAN

Language: Zig - Size: 795 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 35 - Forks: 2

lupyuen/bme280-nuttx

Apache NuttX Driver for Bosch BME280 I2C Sensor (Temperature + Humidity + Air Pressure) ported from Zephyr OS

Language: C - Size: 91.8 KB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

JN513/Baby-Risco-5

Multi-cycle RISC-V processor with RV32E implementation

Language: Tcl - Size: 1.2 MB - Last synced at: 24 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

JN513/Risco-5

Multi-cycle RISC-V processor with RV32I/E[M] implementation, built during a few days off.

Language: Verilog - Size: 3.49 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 15 - Forks: 1

JN513/Risco-5S

RISC-V Simulator with RV32IM implementation, built during a few days off.

Language: C - Size: 656 KB - Last synced at: 24 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

SpencerTorres/Click-V

A RISC-V emulator built with ClickHouse SQL

Language: Go - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

JN513/Pequeno-Risco-5

Processador RISC-V de ciclo único com implementação RV32I construído em alguns dias de folga.

Language: Verilog - Size: 340 KB - Last synced at: 24 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

muhammadtalhasami/riscv-assembly

This repo is the learning journey of the riscv assembly language. you will learn how to write the high level code in to the riscv assembly code.

Language: Assembly - Size: 10.7 KB - Last synced at: 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

mmxsrup/riscv-processor

RV32I Single Cycle Processor (CPU)

Language: SystemVerilog - Size: 52.7 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 2

lupyuen3/blockly-zig-nuttx Fork of google/blockly

Visual Programming for Zig with NuttX Sensors

Language: JavaScript - Size: 117 MB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 1

vSasakiv/RV32I_Processor

Risc-V 32i processor written in the Verilog HDL

Language: Verilog - Size: 6.61 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

yaram/basic-riscv-verilog

Language: SystemVerilog - Size: 152 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

CosecSecCot/RISCV32I-Assembler

A custom Assembler for RISCV32I ISA

Language: C++ - Size: 82 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SaiManojGubbala/RISC

Emulating a 32 Bit Risc-V Cpu in C Programming Language

Language: C - Size: 21.5 KB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

tisiphonee/Computer-Architecture-Course-Projects

Fixed-point dividers and RISC-V processors in various configurations. Features detailed overviews, functionality explanations, and example test cases for each project.

Language: Verilog - Size: 4.55 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

ssayin/riscv32-sim

An easy-to-use, still-in-development RISC-V 32-bit instruction-accurate (IA) simulator.

Language: C++ - Size: 480 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 1

lupyuen/nuttx-apps-bl602 Fork of apache/nuttx-apps

Apache NuttX Apps as featured in "The RISC-V BL602 Book"

Language: C - Size: 17.6 MB - Last synced at: about 3 hours ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 3

lupyuen/rust-nuttx

Rust Stub Library for Apache NuttX OS

Language: Makefile - Size: 10.7 KB - Last synced at: 15 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 3

BilalAlpaslan/bic-RV32IM-islemci

32 bit Risc-5 mimari işlemci tasarımı

Language: Verilog - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

rafinhadufluxo/2021.2-Org-Trabalho1-1

Development of a naval battle game in assembly (risc-v)

Size: 815 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

tmahlburg/mriscv

simple, modular rv32i implementation (WIP)

Language: Verilog - Size: 56.6 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Antonio-Tresol/cpu_architecture_homework

Trying to build a risc v cpu using logisim, trying is the key idea here.

Language: Python - Size: 464 KB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

ThisNotAlfred/Rhombus

a stack-less PDP-11-ish virtual machine inspired by ARM and RISCV.

Language: C++ - Size: 85 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

lupyuen/remote-bl602

Flash and test BL602 remotely via a Linux Single-Board Computer

Language: Shell - Size: 87.9 KB - Last synced at: 15 days ago - Pushed at: 10 months ago - Stars: 4 - Forks: 2

aronsonj52/riscv_myth_workshop

riscv_myth_workshop created by GitHub Classroom. Contains an implemented RISC-V 32-bit core.

Language: Coq - Size: 2.04 MB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ssayin/riscv32-cosim-model

RISC-V processor co-simulation using SystemVerilog HDL and UVM.

Language: SystemVerilog - Size: 4.37 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0

JoyenBenitto/Quark

Quark is a single cycle RV32I RISC-V core, The RTL is written in BlueSpec System Verilog (BSV)

Language: Bluespec - Size: 44.9 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

MaxBubblegum47/Tutorato_Architettura

Materiale tutorato Architettura dei Calcolatori. Esercizi sul simulatore logisim e rars in assembly per RISCV

Language: Assembly - Size: 25.4 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

7Sageer/C2RARS

The project is of narrow use unless you are mad in debugging RISC-V assembly code in RARS. It is a simple solution to convert C code to RISC-V assembly code that can run in RARS.

Language: C - Size: 6.84 KB - Last synced at: 19 days ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

Adityasrinivas24/single-cycle-riscv

Single-cycle RISC-V processor in verilog, supporting the RV32I ISA

Language: Verilog - Size: 11.7 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

novoseltcev/miet-microprocessors 📦

development of the risc v processor in the context of training in the development of microprocessors at MIET

Language: Verilog - Size: 2.59 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

agra-uni-bremen/BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

Language: Haskell - Size: 116 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 31 - Forks: 3