Compares the different RISC-V soft cores in order to help you select the best one for your application.
☆14Jun 13, 2025Updated 8 months ago
Alternatives and similar repositories for awesome-risc-v-soft-cores
Users that are interested in awesome-risc-v-soft-cores are comparing it to the libraries listed below
Sorting:
- RISCV CPU implementation tutorial steps for Cologne Chip Gatemate E1, adopted from https://github.com/BrunoLevy/learn-fpga☆15Updated this week
- RISC-V RV32E core designed for minimal area☆25Nov 17, 2024Updated last year
- A really-really simple demodulator intended to teach Software Defined Radio to newcomers.☆30Oct 19, 2019Updated 6 years ago
- A Risc-V SoC for Tiny Tapeout☆49Dec 2, 2025Updated 3 months ago
- Game Server Manager by Sector Alpha.☆12Sep 15, 2024Updated last year
- An ambient noise detector☆10Aug 23, 2020Updated 5 years ago
- ☆10Mar 28, 2022Updated 3 years ago
- Hardware/Software Co-design environment of a processor core for deterministic real time systems☆37Aug 19, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- This is a Leaflet map of the local Fairphoners communities☆10Feb 23, 2026Updated last week
- ☆19Feb 12, 2026Updated 3 weeks ago
- ☆10Jan 16, 2025Updated last year
- Small tweaks of standart Adwaita theme for my desktop (based on adw-mod currently).☆11Jun 15, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Native-performance Linux sandboxes for Termux. Auto-configures Chroot to bypass Proot overhead. Docker-like export/import included. 基于 Te…☆28Feb 10, 2026Updated 3 weeks ago
- TWRP device tree for Samsung Galaxy Tab A7 10.4 (a.k.a. "gta4lwifi", a.k.a. SM-T500)☆15Oct 27, 2022Updated 3 years ago
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- Heroic is a single / multiplayer RPG in 2D pixel art, written on the Godot engine.☆12Jul 12, 2020Updated 5 years ago
- A ceiling mounted camera which looks around between defined points. Can detect and track a player character.☆14Mar 17, 2023Updated 2 years ago
- Godot 4 prototyping First Person Controller based on the state pattern.☆12Jan 22, 2024Updated 2 years ago
- VSCodium for LoongArch with system-wide Electron.☆12Dec 14, 2023Updated 2 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- CES VHDL utility library, with packages, memories, FIFOs, Clock Domain Crossing and more useful VHDL modules☆11Jan 17, 2022Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Modular, flexible, cross-platform workload profiling and characterization☆13Mar 1, 2021Updated 5 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Hubzilla plugin to support game trophies☆11Nov 28, 2020Updated 5 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- A simple chess-playing artificial intelligence.☆11Feb 4, 2013Updated 13 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆16Updated this week
- A simple minesweeper clone built with the Godot engine☆12Jan 18, 2017Updated 9 years ago
- Luckfox pico documentation and experiments☆36Nov 6, 2025Updated 3 months ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A very simple shooter game made in Godot 3 using C#☆10Mar 5, 2018Updated 8 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year