-
-
riscv_specs Public
Hosted copy of RISC-V HTML specs that you can link to
-
robocut Public
Control vinyl cutters, including Craft Robo, Silhouette, Cameo and Portrait
-
nit Public
Fast, safe, reliable linting. Better than pre-commit (eventually).
-
-
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
TypeScript BSD 2-Clause "Simplified" License UpdatedMay 1, 2026 -
sail Public
Forked from rems-project/sailSail architecture definition language
-
llvm-project-cheriot Public
Forked from CHERIoT-Platform/llvm-projectFork of LLVM adding CHERIoT, based on the CHERI LLVM fork
LLVM Other UpdatedApr 20, 2026 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedApr 20, 2026 -
cocotb Public
Forked from cocotb/cocotbcocotb: Python-based chip (RTL) verification
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 8, 2026 -
-
openocd Public
Forked from openocd-org/openocdOfficial OpenOCD Read-Only Mirror (no pull requests)
C Other UpdatedMar 2, 2026 -
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual - With Sail
-
sudo-rs Public
Forked from trifectatechfoundation/sudo-rsA memory safe implementation of sudo and su.
Rust Apache License 2.0 UpdatedFeb 12, 2026 -
manim Public
Forked from ManimCommunity/manimA community-maintained Python framework for creating mathematical animations.
Python MIT License UpdatedJan 30, 2026 -
fst_spec Public
Unofficial specification for GtkWave's FST digital waveform file format.
-
riscv_trace_debugger Public
Forked from CHERIoT-Platform/riscv_trace_debuggerTool for debugging RISC-V execution traces with a real debugger
Rust MIT License UpdatedJan 22, 2026 -
riscv_opcodes_rs Public
Generated Rust code from riscv-opcodes
Rust BSD 3-Clause "New" or "Revised" License UpdatedJan 5, 2026 -
riscv-opcodes Public
Forked from riscv/riscv-opcodesRISC-V Opcodes
-
docs-resources Public
Forked from riscv/docs-resourcesRuby Creative Commons Attribution 4.0 International UpdatedDec 18, 2025 -
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedDec 12, 2025 -
htif_spec Public
Unofficial specification for RISC-V Host-Target InterFace
Typst UpdatedDec 11, 2025 -
-
ibex Public
Forked from lowRISC/ibexIbex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
SystemVerilog Apache License 2.0 UpdatedNov 28, 2025 -
opentitan Public
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
SystemVerilog Apache License 2.0 UpdatedNov 27, 2025 -
-
Public change requests/proposals & ideation
JavaScript Other UpdatedNov 25, 2025 -
linux-pam Public
Forked from linux-pam/linux-pamLinux PAM (Pluggable Authentication Modules for Linux) project
C Other UpdatedNov 24, 2025 -
verylup Public
Forked from veryl-lang/verylupVerylup: the Veryl toolchain installer
Rust Apache License 2.0 UpdatedNov 23, 2025 -
veryl Public
Forked from veryl-lang/verylVeryl: A Modern Hardware Description Language
Rust Other UpdatedNov 22, 2025