GPGPU processor supporting RISCV-V extension, developed with Chisel HDL

Open-source high-performance RISC-V processor

The Ultra-Low Power RISC-V Core

Here we collect worldwide courses teaching formal methods

Heap Layers: An Extensible Memory Allocation Infrastructure

Using Taichi in Julia!

C++React: A reactive programming library for C++11.

C++ implementation of a fast hash map and hash set using robin hood hashing

A little book which introduces strace.

Digital Design with Chisel

Hands On Scala 中文