JacyCui / introduction-to-algorithmsLinks
A website for learners of 《Introduction to Algorithms》
☆17Updated last year
Alternatives and similar repositories for introduction-to-algorithms
Users that are interested in introduction-to-algorithms are comparing it to the libraries listed below
Sorting:
- ntype cafe summer school resources☆139Updated last year
- lecture slides and in-class demos of sicp☆29Updated 2 years ago
- Resources on the C Programming Language @ software.nju.edu.cn☆53Updated 8 months ago
- ☆48Updated last year
- formal language and automata☆21Updated 6 months ago
- notes on topos theory (Chinese)☆12Updated 7 months ago
- 非常的新鲜,非常的美味☆31Updated 3 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Docs on CPL (Lectures on CPL at software.nju.edu.cn)☆36Updated 3 months ago
- 并不复杂的 Typst 讲座 - Typst is Simple☆63Updated 3 weeks ago
- The final project of PKU course Compilers: Principles in Spring 2023, a SysY to RISC-V compiler. Document::https://pku-minic.github.io/on…☆22Updated 2 years ago
- Forge wonderful chat messages in typst☆88Updated last week
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆22Updated 3 years ago
- Lean 函数式编程☆36Updated last week
- Library for generating/parsing/optimizing Koopa IR.☆123Updated 6 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆65Updated 2 years ago
- Most influential papers in programming languages☆57Updated 5 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆63Updated 3 months ago
- ☆13Updated 2 years ago
- Homepage of the Lean-zh website.☆35Updated 3 weeks ago
- What are learned in tiktoken?☆69Updated last year
- ☆14Updated 2 years ago
- 代数基本观念☆15Updated 3 months ago
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last week
- 南京大学APP每日健康打卡。自用☆9Updated 4 years ago
- 浙江大学图灵班学长组资料汇总网站☆53Updated 9 months ago
- ☆176Updated last year
- ☆10Updated last month
- The pintos source distribution for PKU Operating System Course projects☆49Updated 4 months ago
- Lean4中文教程☆34Updated 4 months ago