Want a faster ML processor? Do it yourself! -- A framework for playing with custom opcodes to accelerate TensorFlow Lite for Microcontrollers (TFLM). . . . . . Online tutorial: https://google.githu…

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

GPGPU references.

Collect some IC textbooks for learning.

Collect some CS textbooks for learning.

Repository containing SoPs and other reference material for Graduate admission process.

CS405-Sabanci - WebGL

Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.

Verification of Digital Systems (EE382M)

📚 List of awesome university courses for learning Computer Science!

Enhancements to the GNU coreutils (especiall head)

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Main page

An introductory guide to Bluespec (BSV)

A repository of links with advice related to grad school applications, research, phd etc

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

OpenSPARC-based SoC

ORSoC Graphics Accelerator

BaseJump STL: A Standard Template Library for SystemVerilog

A Linux-capable RISC-V multicore for and by the world

Unified build system for OpenIndiana distribution components

💻 Build terminal styled websites in minutes!

Linux kernel source tree

Open-source high-performance RISC-V processor

Gain an understanding of the fundamentals of Very Large-Scale Integration (VLSI), including how the theories and concepts can be applied in the design of simple logic circuits and in the physical i…

The batteries-included testing and formal verification library for Chisel-based RTL designs.

A collection of VHDL codes for Advanced Digital Systems Design at Caltech

Software Development Kit for Analog Device's MAX-series microcontrollers