Read chapters directly from this repo - do not use GitHub Pages link.

A community database for the problems on the erdosproblems.com site

Development repository for Fetch Directed Instruction Prefetching (FDP) in gem5

Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases

A markdown terminal slideshow tool

Chromium OS Universal Chroot Environment (EOL)

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

Animation engine for explanatory math videos

Sudoku solving in python packaging

An implementation of the belief-matching decoder

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

Stack trace visualizer

SCIP - Solving Constraint Integer Programs

Python interface for the SCIP Optimization Suite

A port of DOOM for a quantum computer

DCPerf benchmark suite for hyperscale cloud applications

Benchmarking suite for Google workloads

PerfKit Benchmarker (PKB) contains a set of benchmarks to measure and compare cloud offerings. The benchmarks use default settings to reflect what most users will see. PerfKit Benchmarker is licens…

Food! 🧅🥕🥚🐔🧀 - 🌮🥗🥐🥞🍝🥘

A FUSE filesystem for your Google calendar

A terminal image and video viewer.

A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.

Liệt kê các ngôn ngữ lập trình dựa trên tiếng Việt

RISC-V Instruction Set Manual

Realistic Progression One - Career mode for Realism Overhaul

NWChem: Open Source High-Performance Computational Chemistry

Official HPCG benchmark source code

16-bit CPU for Excel, and related files