Richard's Git

Name	Description	Idle	Links
RUCDSA	RUC Data Structure and Algorithm Course	5 days	summary log tree
csp	CSP Personal Solution	4 weeks	summary log tree
datalab2026	RUC ICS 2026 Datalab: Binary Representation and Bitwise Operations	4 weeks	summary log tree
emacs.d	Personal Emacs Configuration.	2 hours	summary log tree
lume	A general-purpose operating system with Linux ABI compatibility	10 hours	summary log tree
ratp	A saturation-based automated theorem prover for first-order logic.	4 weeks	summary log tree
ray-tracing	Ray Tracing in One Weekend	4 weeks	summary log tree
rbinutils	A simplified implementation of GNU Bintils.	4 weeks	summary log tree
rcc	An optimizing compiler for SysY (a C subset) targeting RISC-V 64GC	6 weeks	summary log tree
rcc-project	An optimizing compiler for C.	5 days	summary log tree
rchat	Free and secure P2P communication software built on Tor		summary log tree
rhomepage	Personal website	10 days	summary log tree
rutils	Small utilities for Linux users and system experiments.	75 min.	summary log tree
rwebbrowser	A minimalist CLI web browser for fast, distraction-free navigation.	2 days	summary log tree