JacyCui / introduction-to-algorithmsLinks
A website for learners of 《Introduction to Algorithms》
☆19Updated 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☆143Updated last year
- 计算机系统——从小白学起☆33Updated last year
- lecture slides and in-class demos of sicp☆30Updated 3 years ago
- formal language and automata☆28Updated 3 weeks ago
- Docs on CPL (Lectures on CPL at software.nju.edu.cn)☆36Updated 2 months ago
- ☆13Updated 3 years ago
- ☆85Updated 3 months ago
- The MOSAIC Operating Systems Model and Checker☆203Updated 2 years ago
- 非常的新鲜，非常的美味☆32Updated 8 months ago
- A similarity measurer on two programming assignments on Online Judge.☆10Updated 2 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 4 months ago
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16Updated last year
- History of type theory (Chinese).☆355Updated 6 months ago
- Lean 定理证明☆21Updated 2 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆211Updated 8 months ago
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆297Updated 5 months ago
- all the course resources and my completion for all the projects☆215Updated last year
- A latex template for writing statement-of-purpose for many schools at the same time☆46Updated last year
- 并不复杂的 Typst 讲座 - Typst is Simple☆74Updated 4 months ago
- ☆61Updated 5 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- all the course resources of UCB's CS61C course -- Great ideas in computer architecture☆341Updated 4 years ago
- my implementation for the CS61C labs in 2020 summer version☆82Updated 4 years ago
- Lean 函数式编程☆39Updated 2 months ago
- 南京大学学位论文 Typst 模板 modern-nju-thesis☆215Updated 8 months ago
- The pintos source distribution for PKU Operating System Course projects☆49Updated 9 months ago
- ☆202Updated last year
- Most influential papers in programming languages☆57Updated 10 months 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…☆21Updated 2 years ago
- UC Berkeley CS61C 2020/2021 FALL☆13Updated 2 years ago