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 11 months ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆31Updated 2 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆192Updated 2 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆62Updated 2 months ago
• JacyCui / fla
  formal language and automata
  ☆19Updated 5 months ago
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 2 years ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆15Updated 3 weeks ago
• MarisaKirisame / DefComBlog
  ☆13Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 2 months ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆32Updated last week
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆32Updated 10 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 4 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 4 months ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 2 months ago
• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆88Updated 4 months ago
• NJUDeepEngine / open-llm-assignments
  A collection of assignments on large language models, serving for both beginners to get started and pros to practice advanced tech.
  ☆17Updated 2 months ago
• SimplicialCat / topos
  notes on topos theory (Chinese)
  ☆12Updated 6 months ago
• danvk / Stanford-CS-242-Programming-Languages
  Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
  ☆22Updated last year
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆43Updated last year
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• NJUDeepEngine / llm-course-lecture
  ☆51Updated 2 months ago
• moonbitlang / minimoonbit-public
  ☆59Updated this week
• clarksmr / sf-lectures
  Software Foundations
  ☆128Updated last year
• banana-space / btex
  ☆48Updated last year
• MingLLuo / CS-Plan
  ☆76Updated 3 months ago
• courses-at-nju-by-hfwei / cpl-resources
  Resources on the C Programming Language @ software.nju.edu.cn
  ☆51Updated 8 months ago
• Disalg-ICS-NJU / algocentric
  ☆76Updated 3 months ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆126Updated 6 years ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆62Updated 2 years ago
• OrangeX4 / typst-talk
  并不复杂的 Typst 讲座 - Typst is Simple
  ☆62Updated last week