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 / fla
  formal language and automata
  ☆25Updated this week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆142Updated last year
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆31Updated last year
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 3 years ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆32Updated 5 months ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆35Updated last week
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 6 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆198Updated 2 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆352Updated 3 months ago
• MarisaKirisame / DefComBlog
  ☆13Updated 3 years ago
• MingLLuo / CS-Plan
  ☆79Updated 3 weeks ago
• zweix123 / jyyslide-md
  使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)
  ☆287Updated 2 months ago
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆155Updated 2 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 7 months ago
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆24Updated 3 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆131Updated 9 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• GKxxUCAS / CS100-recitations-spring2023
  ☆64Updated 7 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 7 months ago
• nju-lug / modern-nju-thesis
  南京大学学位论文 Typst 模板 modern-nju-thesis
  ☆210Updated 5 months ago
• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆10Updated 2 years ago
• ustc-cs / COD-Resources-2017
  中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享
  ☆12Updated 5 years ago
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆45Updated last year
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆65Updated 2 months ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆46Updated 5 years ago
• OrangeX4 / typst-talk
  并不复杂的 Typst 讲座 - Typst is Simple
  ☆70Updated 2 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
• hxuhack / course_compiler
  Course Webpage of COMP130014 Compiler Principles and Techniques @ Fudan University
  ☆72Updated 9 months ago
• TonyCrane / note
  TonyCrane's Public Notebook
  ☆285Updated 2 weeks ago
• werifu / HUST-typst-template
  华科毕业论文（本科）的 typst 模板
  ☆220Updated 2 months ago