各个编程语言编译器源码收集
cs collection compiler

心血来潮在 Github 收集了各个主流编程语言的编译器源码

pub:7/29/2025 new:2/5/2022  
在 Windows msys2 下编译 scryer-prolog
experience environment-setup cs

在 Windows msys2 下编译 scryer-prolog

pub:7/29/2025 new:7/24/2022  
扩展中国剩余定理（EXCRT）
oi cs algorithm number-theory math

扩展中国剩余定理笔记

pub:7/29/2025 new:12/17/2021  
迈克·纳哈斯的Coq教程
rocq cs translation tutorial

Mike Nahas's Coq Tutorial 中文翻译

pub:7/29/2025 new:10/4/2021 upd:7/20/2022
在 Coq 中形式化 100 个定理
rocq cs translation

Formalizing 100 theorems in Coq 翻译、增补

pub:7/29/2025 new:2/4/2022 upd:1/9/2023
斐蜀定理
oi cs number-theory math

笔记：斐蜀定理

pub:7/29/2025 new:10/26/2021  
中国剩余定理（CRT）
oi cs algorithm number-theory math

中国剩余定理笔记

pub:7/29/2025 new:12/17/2021  
康托展开和康托逆展开
oi cs algorithm

笔记：康托展开和康托逆展开

pub:7/29/2025 new:10/26/2021  
扩展欧几里得算法（EXGCD）
oi cs algorithm number-theory math

扩展欧几里得算法笔记

pub:7/29/2025 new:10/26/2021  
DPLL算法
cs algorithm logic tutorial

求解k-SAT问题的 DPLL 算法详解（C++实现）

pub:7/29/2025 new:3/8/2022  
图的vector邻接表存储
oi cs short-note

笔记：图的vector邻接表存储

pub:7/29/2025 new:10/22/2021  
线性递推求逆元
oi cs algorithm number-theory math

笔记：线性递推求逆元

pub:7/29/2025 new:12/17/2021  
KMP算法
oi cs algorithm

KMP算法笔记

pub:7/29/2025 new:12/17/2021 upd:12/4/2022
最大公约数（GCD）
oi cs algorithm number-theory math

最大公约数笔记

pub:7/29/2025 new:10/18/2021  
线性筛质数笔记
oi cs algorithm number-theory math

线性筛质数笔记

pub:7/29/2025 new:12/17/2021  
线段树复习笔记
oi cs data-structure algorithm

线段树（Segment Tree）复习笔记

pub:7/29/2025 new:10/21/2021  
cs3234 Course Reviews
nus course-review cs rocq

notion entry: cs3234 Course Reviews

pub:7/30/2025 new:6/17/2025 upd:6/17/2025
cs1010e Course Reviews
nus course-review common-curriculum cs

notion entry: cs1010e Course Reviews

pub:7/30/2025 new:6/17/2025 upd:6/17/2025