Alternatives and similar repositories for introduction-to-algorithms:

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

• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 2 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆138Updated 10 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆30Updated last year
• JacyCui / fla
  formal language and automata
  ☆19Updated 3 months ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated last month
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆29Updated 3 weeks ago
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆156Updated last year
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆119Updated 4 months ago
• MingLLuo / CS-Plan
  ☆72Updated 2 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆187Updated last year
• courses-at-nju-by-hfwei / cpl-resources
  Resources on the C Programming Language @ software.nju.edu.cn
  ☆47Updated 6 months ago
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆23Updated 3 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆60Updated 3 weeks ago
• MarisaKirisame / DefComBlog
  ☆13Updated 2 years ago
• SimplicialCat / Simplicial_Group
  单纯群精华信息汇总
  ☆15Updated 4 months ago
• PKUFlyingPig / NandToTetris
  all the course resources and my completion for all the projects
  ☆194Updated 9 months ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆28Updated 9 months ago
• banana-space / btex
  ☆47Updated last year
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆81Updated 5 years ago
• 0x1B05 / missing-semester-cn-subtitles
  The chinese subtitle of the missing semester.
  ☆32Updated last year
• banana-space / banana-space
  ☆169Updated last year
• lbwang / CINTA-cn
  一本数论、代数与算法的入门讲义.
  ☆77Updated 3 weeks ago
• LadderOperator / PedagogySquareAsistant
  简单粗暴的教学立方辅助Chrome插件
  ☆46Updated 4 years ago
• Azure1210 / VividBooK
  原ElegantBook魔改版/gorgeousnbook书籍模板更新版
  ☆57Updated 2 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 months ago
• SAST-skill-docers / sast-skill-docs
  SAST Skill Docs. We are paving the way for your CS studying.
  ☆163Updated last month
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆9Updated 2 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆343Updated last week
• asukaminato0721 / good-books
  some good books
  ☆32Updated 4 years ago