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
  ☆140Updated last year
• JacyCui / fla
  formal language and automata
  ☆23Updated 7 months ago
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆29Updated 2 years ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆31Updated 4 months ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 4 months ago
• danvk / Stanford-CS-242-Programming-Languages
  Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
  ☆23Updated last year
• MingLLuo / CS-Plan
  ☆78Updated 5 months ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆39Updated last month
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆59Updated 5 months ago
• MarisaKirisame / DefComBlog
  ☆13Updated 2 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆139Updated 3 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆36Updated 3 weeks ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆125Updated 7 months ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆16Updated last month
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆43Updated last year
• courses-at-nju-by-hfwei / discrete-math-lectures
  Lectures on Discrete Mathematics @ software.nju.edu.cn
  ☆22Updated 3 years ago
• moonbitlang / minimoonbit-public
  ☆60Updated last month
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 4 months ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆347Updated 2 months ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 6 months ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆46Updated 4 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆194Updated 2 years ago
• hxuhack / course_compiler
  Course Webpage of COMP130014 Compiler Principles and Techniques @ Fudan University
  ☆71Updated 7 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 5 months ago
• yhwu-is / Computer-System-Start-From-a-Newbie
  计算机系统——从小白学起
  ☆30Updated last year
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 5 months ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆64Updated 2 weeks ago
• nzh63 / syc
  Optimizing compiler for SysY (C subset)
  ☆43Updated last year
• guyutongxue / MyCppTutorial
  个人编写的、以教程形式整理的 C++ 知识。【停更中，仅修复问题】
  ☆127Updated 8 months ago