Alternatives and similar repositories for introduction-to-algorithms

Users that are interested in introduction-to-algorithms are comparing it to the libraries listed below

• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆139Updated last year
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 2 years ago
• courses-at-nju-by-hfwei / cpl-resources
  Resources on the C Programming Language @ software.nju.edu.cn
  ☆53Updated 8 months ago
• banana-space / btex
  ☆48Updated last year
• JacyCui / fla
  formal language and automata
  ☆21Updated 6 months ago
• SimplicialCat / topos
  notes on topos theory (Chinese)
  ☆12Updated 7 months ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆31Updated 3 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 3 months ago
• OrangeX4 / typst-talk
  并不复杂的 Typst 讲座 - Typst is Simple
  ☆63Updated 3 weeks ago
• CaptainHarryChen / StupidSysY2RV
  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
• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆88Updated last week
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆22Updated 3 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆36Updated last week
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆123Updated 6 months ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆65Updated 2 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 5 months ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆63Updated 3 months ago
• MarisaKirisame / DefComBlog
  ☆13Updated 2 years ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆35Updated 3 weeks ago
• jiangyy / gpt-tokens
  What are learned in tiktoken?
  ☆69Updated last year
• ProjectDimlight / The-Art-Of-Giving-Answers
  ☆14Updated 2 years ago
• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆15Updated 3 months ago
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆19Updated last week
• StellarDragon / nju-health-report
  南京大学APP每日健康打卡。自用
  ☆9Updated 4 years ago
• ZJU-Turing / TuringDoneRight
  浙江大学图灵班学长组资料汇总网站
  ☆53Updated 9 months ago
• banana-space / banana-space
  ☆176Updated last year
• KirisameMagicShop / kirisamemagicshop.github.io
  ☆10Updated last month
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆49Updated 4 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 4 months ago