Richard's Git
Personal Git repositories
index
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.
3 hours
summary
log
tree
lume
A general-purpose operating system with Linux ABI compatibility
11 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.
2 hours
summary
log
tree
rwebbrowser
A minimalist CLI web browser for fast, distraction-free navigation.
2 days
summary
log
tree
