23 results found Sort:

55
826
gpl-3.0
21
The RISC-V Virtual Machine
Created 2021-02-16
1,339 commits to staging branch, last one 23 days ago
207
780
apache-2.0
57
VeeR EH1 core
Created 2019-06-02
125 commits to main branch, last one about a year ago
Compact and Efficient RISC-V RV32I[MAFC] emulator
Created 2020-10-16
904 commits to master branch, last one 3 days ago
49
294
bsd-3-clause
13
Simple unix-like operating system for education and research purposes
Created 2015-11-17
1,598 commits to master branch, last one 3 months ago
17
276
mit
12
F# RISC-V Instruction Set formal specification
Created 2019-08-28
183 commits to master branch, last one 4 months ago
VeeR EL2 Core
Created 2020-01-09
372 commits to main branch, last one a day ago
Running Linux on RP2040 with the help of RISC-V emulation
Created 2023-02-23
56 commits to main branch, last one about a year ago
33
198
apache-2.0
8
UART based embedded shell for embedded systems. Intended to be used for learning, experimenting and diagnostics.
Created 2021-08-31
150 commits to main branch, last one 6 months ago
23
128
gpl-3.0
8
Simple risc-v emulator, able to run linux, written in C.
Created 2019-01-08
142 commits to master branch, last one 3 months ago
13
117
unknown
15
😎 A curated list of awesome RISC-V implementations
Created 2019-10-06
38 commits to master branch, last one about a year ago
An AXI4 crossbar implementation in SystemVerilog
Created 2021-09-23
50 commits to main branch, last one 13 days ago
Yet Another RISC-V Implementation
Created 2014-03-17
179 commits to master branch, last one 4 months ago
An interpreter for a concurrent lisp-like language with message-passing and pattern-matching implemented in C.
Created 2018-10-14
2,195 commits to master branch, last one a day ago
14
80
bsd-3-clause
6
Instruction set simulator for RISC-V, MIPS and ARM-v6m
Created 2019-10-21
46 commits to master branch, last one 2 years ago
Lower level assembly and C baremetal programming on RISC-V CPUs. Source code listings from the C-Ninja, in Pyjama! book.
Created 2023-08-19
49 commits to main branch, last one 21 days ago
3
47
apache-2.0
20
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Created 2022-11-26
281 commits to main branch, last one about a year ago
A c/RISCV of "Let's Build a Compiler" by Jack Crenshaw
Created 2022-09-16
5 commits to master branch, last one about a year ago
TinyFive is a lightweight RISC-V emulator and assembler written in Python with neural network examples
Created 2022-11-24
133 commits to main branch, last one 7 months ago
Zig on RISC-V BL602 with Apache NuttX RTOS and LoRaWAN
Created 2022-05-24
243 commits to main branch, last one about a year ago
Arduino Core for Bouffalo Labs's RISC-V BL808 SOC
Created 2022-11-26
29 commits to main branch, last one about a year ago
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
Created 2023-05-16
132 commits to master branch, last one 2 days ago
JIT-accelerated RISC-V instruction set simulator
Created 2023-10-02
32 commits to master branch, last one 5 months ago
SharpRISCV is an implementation of RISC-V assembly in C#. First RISC V Assembly that build windows executable file
Created 2023-09-07
260 commits to master branch, last one 23 days ago