Rocket Chip Generator
- scala
- rocket-chip
- chip-generator
- chisel
Repository Index
61,275 visible repositories in the index
25–48 of 59 · Most stars
A fully compliant RISC-V computer made inside the game Terraria
Learning FPGA, yosys, nextpnr, and RISC-V
OpenTitan: Open source silicon root of trust
Rust version of THU uCore OS. Linux compatible.
Source code for Algorithmic Trading with Python (2020) by Chris Conlan
A graphical processor simulator and assembly editor for the RISC-V ISA
Reko is a binary decompiler.
- decompiler
- dotnet
- decompiler-engine
- decompile
Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Ladybird, Chromium, Cloudflare Workers, Ghostty and Bun.
- utf8
- utf16
- unicode
- simd
Mixed-precision math, linear-algebra & retrieval kernels, 4000+ symbols from 4-bit numbers to 128-bit complex, for x86, Arm, RISC-V, LoongArch, Power & WASM, AMX & SME included 📐
A free Windows-compatible Operating System
A Tool to make Build and Run eBPF programs easier
Your agent invents things because it has no memory, and can't touch your database because it has no arms. rsc is the meta-harness that gives it both, plus the trade to know the job and the reflexes to not break your repo. For Claude Code, Codex and 15 more.
The package registry and command-line tool for assembly projects.
- aarch64
- assembly
- package-manager
- package-registry
Small & portable byte-aligned LZ77 compression
- compression
- lz77
- lempel-ziv
- c
Video view controller with Periscope fast rewind control
F# RISC-V Instruction Set formal specification
- fsharp
- risc-v
- cpu
- isa
Small library to read your configuration from environment variables
- go
- configuration
- golang
A simple controller for FramerJS that allows you to transition between views with just a couple lines of code.
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
RISC-V Specification in Coq
Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.
- acp
- csa
- rails
- ruby
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Veganify is a modern webapp that allows you to easily scan EAN barcodes to check if a product is vegan-friendly. With a database of over 3 million products, you can quickly find out if your favorite foods and products are suitable for a vegan diet.
- scanner
- barcode
- html5
- javascript