versatran01 / itoc

Related projects ⓘ

Alternatives and complementary repositories for itoc

• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆43Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• guyutongxue / Practice_of_Programming
  Homework of the course "Practice of Programming in C&C++", PKU
  ☆7Updated 3 years ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 5 months ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆86Updated 6 years ago
• sjtu-ieee / ieee.icu
  A website for courses of IEEE pilot class, SJTU | 上海交通大学 IEEE 试点班的课程信息
  ☆97Updated 2 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• ZhenbangYou / Computer-Systems-Learning-Resources-A-Recommended-List
  ☆58Updated 9 months ago
• NoMoreHurt / NoMoreHurt
  ☆19Updated 3 years ago
• LogCreative / SJTUBeamermin
  上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集
  ☆57Updated 3 years ago
• decaf-lang / decaf
  The new Decaf compiler, rewritten in "modern" Java
  ☆61Updated 4 years ago
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆167Updated 8 months ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆137Updated 3 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆66Updated 3 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆41Updated 4 years ago
• skyzh / HallOfShame
  Hall of Shame
  ☆67Updated 4 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆121Updated 5 years ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆55Updated last year
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 2 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆26Updated 3 months ago
• nju-lug / NJUVisual
  实现南京大学标准配色方案和标识
  ☆26Updated last year
• Booob / P523
  P523 Code
  ☆27Updated 9 years ago
• PeterQiu0516 / UMich-Syllabus-Collection
  Collection of course syllabus and websites (mainly EECS) @ Umich
  ☆25Updated 2 years ago
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• xiez22 / SJTU-OJ
  本人编写的上海交通大学OJ系统部分题目的C++版本代码。
  ☆28Updated 3 years ago
• alg-nju / intro-disalg-course
  ☆93Updated 2 weeks ago
• zhaochenyang20 / Cyber-Security
  Course notes for Cyber Security (THUCST 2023 Spring)
  ☆23Updated last year