A window system for resource-constrained devices

Official inference framework for 1-bit LLMs

CUDA Templates and Python DSLs for High-Performance Linear Algebra

A 3D FPGA GPU for real-time rasterization with a tile-based deferred rendering (TBDR) architecture, featuring transform & lighting (T&L), back-face culling, MSAA anti-aliasing, ordered dithering, etc.

Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.

Complete code for the larger example programs from the book.

A Simple showcase for the Sea-of-Nodes compiler IR

This repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The proble…

Design Pattern by Object-Oriented-C

Repository for udemy Embedded-C course

Complementary Concurrency Programs for course "Linux Kernel Internals"

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

Cracking the Coding Interview 6th Ed. Solutions

Virtual Linux soundcard driver

Restoration of 1st Edition UNIX kernel sources from Bell Laboratories

RISC-V instruction set simulator built for education

Virtual camera device driver for Linux

An experimental HTTP server implemented as Linux kernel module

A repository for Skyline, Strato, Vita3K and Yuzu Android compatible Adreno drivers.

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

Xv6 for RISC-V

A column introduce and explain modern C++ features.

A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits

你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码

Angrave's Crowd-Sourced System Programming Book used at UIUC

Is Parallel Programming Hard, And If So, What Can You Do About It?

A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation