Alternatives and similar repositories for itoc

Users that are interested in itoc are comparing it to the libraries listed below

• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• PeterQiu0516 / UMich-Syllabus-Collection
  Collection of course syllabus and websites (mainly EECS) @ Umich
  ☆30Updated 3 years ago
• Maecenas / ICS-15213-CSAPP3e-CMU
  Dev Environment and Lab Assignments of the Introduction to Computer Systems course, CMU 15-213, 2015 Fall
  ☆161Updated 6 years ago
• JustFollowUs / Theoretical-Computer-Science
  ☆57Updated 9 years ago
• lychees / ACM-Training
  ☆109Updated 10 months ago
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆46Updated 4 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆251Updated 2 years ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆60Updated 4 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆220Updated 2 weeks 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
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆33Updated 4 years ago
• LogCreative / SJTUBeamermin
  上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集
  ☆60Updated 4 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆146Updated last year
• courses-at-nju-by-hfwei / problem-solving-class-lectures
  Lectures for the "Problem Solving" Class at Nanjing University.
  ☆28Updated 5 years ago
• Galaxies99 / SJTU-course-notes
  ✍️ The notes of courses in Shanghai Jiao Tong University
  ☆177Updated 4 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆88Updated 7 years ago
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆175Updated 4 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 11 months ago
• zhengguan / 15122
  ☆15Updated 10 years ago
• CirQ / CS323-Compilers-2019fall
  Coursework of SUSTech CS323 Compilers
  ☆23Updated 6 years ago
• mit-pdos / xv6-riscv-fall19
  6.S081/6.828 lab repo for fall 2019
  ☆214Updated 4 years ago
• skyzluo / CS143-Compilers-Stanford
  My solutions to the programming assignments of the Stanford Compiler course.
  ☆384Updated 11 years ago
• skyzh / notes
  Lecture notes at SJTU
  ☆40Updated 4 years ago
• courses-at-nju-by-hfwei / problem-solving-class-problems
  Problem Sets for Problem Solving Class
  ☆15Updated 5 years ago
• hqztrue / LeetCodeSolutions
  Theoretical solutions for LeetCode problems.
  ☆395Updated 3 months ago
• SXKDZ / tongjithesis
  同济大学本科毕业设计LaTeX模板 LaTeX template for Tongji Undergaduate Thesis
  ☆120Updated 5 years ago
• jiegec / dcst-facts
  Facts of DCST of Tsinghua University
  ☆59Updated 9 months ago
• Zhenye-Na / CSAPP-Labs
  Computer Systems: A Programmer's Perspective, Lab Assignments Solutions
  ☆251Updated 6 years ago
• ftiasch / icpc-camp-wiki
  ☆67Updated 5 years ago
• thunlp / OOP-THU
  OOP Course Material & QA
  ☆159Updated 5 years ago