Run x86 and x86-64 games on RISC-V Linux

Mobicom'25 Artifact Evaluation: Myo-Trainer: A Vision-based Muscle-Aware Motion Feedback System for In-Home Resistance Training

Microarchitectural Simulation With Detailed Interconnect Modeling

A CUDA-Based BVH with (1) High Query Speed, (2) Support for Large Volumes of Query Samples, (3) Save-and-Restore Capabilities, and (4) Customizable CUDA Deployment.

Synthesizable verification model for RISC-V CPUs

Chisel on Scala 3 with improved bit width inference

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

LoongArch Architecture Translator

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer…

Updated version of the RUBiS benchmark (http://rubis.ow2.org/)

DCPerf benchmark suite for hyperscale cloud applications

Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation methodology for estimating OS overheads and models diverse VM de…

⚡ Go web framework benchmark

[CVPR 2025] Code for Deformable Radial Kernel Splatting

cluster data collected from production clusters in Alibaba for cluster management research

Joint HPS and ETH Repository to work towards open sourcing Scarab and Ramulator

The Sniper Multi-Core Simulator

南瓜书：《机器学习》（西瓜书）公式详解

RISC-V Security Model

Fast Symbolic Repair of Hardware Design Code

Dr. TLA+ series - learn an algorithm and protocol, study a specification

A collection of TLA⁺ specifications of varying complexities.

High-performance, scalable time-series database designed for Industrial IoT (IIoT) scenarios

A collection of useful .gitignore templates