Stars
DeepSeek Harness: Everything is a Plugin.
Open-source high-performance RISC-V processor
A spicy hardware description language with dependent types
An open-source, JEDEC JESD270-4A-compliant HBM4 memory subsystem (controller + PHY-shim + DFT + RAS + security wrapper) tightly coupled to an open RISC-V-native LPU accelerator. Apache-2.0 RTL, CER…
A Python package for generating HDL wrappers and top modules for HDL sources
Low Level Hardware Description — A foundation for building hardware design tools.
Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format …
100Mbps unmanaged cut-through ethernet switch.
ARCH hardware description language and compiler
A runtime substrate that turns an agent's execution into a reversible, Git-like trace, so meta-agents can observe, fork, replay, and revert any run. Couples agent and environments in a copy-on-writ…
On-device AI across mobile, embedded and edge for PyTorch
Python 3.14, compiled to metal — JIT & AoT native compiler and runtime in Rust. Cranelift backend, ruff parser, Green Tea GC, byte-exact differential testing against CPython.
An open framework for designing and deploying custom AI-driven HW/SW co-design flows fast
Gluster Filesystem : Build your distributed storage in minutes
A high-throughput and memory-efficient inference and serving engine for LLMs
224G Ethernet PHY RTL, analog models and simulation environment
Diffusion model(SD,Flux,Wan,Qwen Image,Z-Image,...) inference in pure C/C++
The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, such as operating systems and hypervisors, can rely on being…
Reverse engineered Linux driver for the Apple Neural Engine (ANE).
Formally verified implementation of Alive in Lean