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
  ☆30Updated 3 years ago
• JacyCui / fla
  formal language and automata
  ☆29Updated last week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆144Updated last year
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆33Updated last year
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆33Updated 9 months ago
• MarisaKirisame / DefComBlog
  ☆13Updated 3 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆43Updated 3 weeks ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆205Updated 2 years ago
• ics-nju-wl / icspa-public-guide
  Guide for ICSPA MOOC
  ☆88Updated 2 years ago
• zweix123 / jyyslide-md
  使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)
  ☆298Updated 6 months ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆297Updated 2 weeks ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆51Updated 3 months ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆356Updated 7 months ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆22Updated 2 weeks ago
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆54Updated 10 months ago
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆24Updated 4 years ago
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆10Updated 3 years ago
• MingLLuo / CS-Plan
  ☆87Updated 4 months ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆68Updated 6 months ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆140Updated 3 weeks ago
• banana-space / banana-space
  ☆206Updated last year
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 4 months ago
• moonbitlang / minimoonbit-public
  ☆62Updated 7 months ago
• shuosc / SHU-Bachelor-Thesis-Typst
  上海大学本科生毕业论文Typst模板
  ☆83Updated last month
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆137Updated 6 years ago
• guyutongxue / MyCppTutorial
  个人编写的、以教程形式整理的 C++ 知识。【停更中，仅修复问题】
  ☆136Updated 4 months ago
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆46Updated 2 years ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• courses-at-nju-by-hfwei / compilers-resources
  Resources on Compilers
  ☆114Updated last year
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆155Updated 2 years ago