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
  ☆143Updated last year
• JacyCui / fla
  formal language and automata
  ☆27Updated last month
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 3 years ago
• MarisaKirisame / DefComBlog
  ☆13Updated 3 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆352Updated 5 months ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆32Updated 7 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆201Updated 2 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆65Updated 3 months ago
• eserie-fox / simple_concurrent_queue
  A simple concurrent queue using std::mutex and std::condition_variable in C++ 11
  ☆16Updated last year
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 9 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 7 months ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆39Updated last month
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆32Updated last year
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆46Updated 3 years ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆20Updated last month
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆35Updated last month
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• MingLLuo / CS-Plan
  ☆84Updated 2 months ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆46Updated 3 weeks ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆145Updated 4 years ago
• banana-space / banana-space
  ☆200Updated last year
• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆49Updated 8 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆62Updated 9 months ago
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆20Updated 4 months ago
• ics-nju-wl / icspa-public-guide
  Guide for ICSPA MOOC
  ☆85Updated 2 years ago
• zweix123 / jyyslide-md
  使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)
  ☆295Updated 4 months ago
• pku-minic / compiler-dev-test-cases
  Local test cases for SysY compilers, used by compiler-dev.
  ☆23Updated 3 years ago
• roife / resume
  My resume
  ☆42Updated 3 weeks ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆64Updated 4 years ago