PROJECTS

Browse all my repositories on git.richardqin.org .

rcc-project

A collection of projects, including a C compiler, binutils, a memory allocator, an automated theorem prover, and a web browser.

A general-purpose operating system with Linux ABI compatibility

Personal website

Personal Emacs Configuration.

Small utilities for Linux users and system experiments.