versatran01 / itocLinks
Introduction to the Theory of Computation
☆10Updated 8 years ago
Alternatives and similar repositories for itoc
Users that are interested in itoc are comparing it to the libraries listed below
Sorting:
- 上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集☆60Updated 4 years ago
- My solutions to the programming assignments of the Stanford Compiler course.☆384Updated 11 years ago
- The MOSAIC Operating Systems Model and Checker☆208Updated 2 years ago
- compiler course info☆251Updated 2 years ago
- 2021年中国科学技术大学编译原理(H)课程实验项目☆25Updated 2 years ago
- Collection of course syllabus and websites (mainly EECS) @ Umich☆30Updated 3 years ago
- Lectures for the "Problem Solving" Class at Nanjing University.☆28Updated 5 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- Lab for Network Principles since 2019-2020 fall☆175Updated 4 months ago
- USTC 18 计算机学院 个人资源分享☆23Updated 4 years ago
- ☆59Updated 2 years ago
- All handouts will be here☆28Updated 3 years ago
- Hall of Shame☆67Updated 5 years ago
- ☆57Updated 9 years ago
- Coursework of SUSTech CS323 Compilers☆23Updated 6 years ago
- implementation of xv6 labs from MIT 6.S081 2020☆12Updated 3 years ago
- Compiler Construction Principles and Practice by Kenneth C. Louden☆79Updated last year
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆220Updated 2 weeks ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated last year
- Dev Environment and Lab Assignments of the Introduction to Computer Systems course, CMU 15-213, 2015 Fall☆161Updated 6 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆146Updated 4 years ago
- Spring 2022 Course Website for Operating System Course at Peking University☆11Updated 3 years ago
- Solution to MIT 6.828 Fall19, with lab report at https://blog.mky.moe/mit6828/menu/☆60Updated 4 years ago
- ✍️ The notes of courses in Shanghai Jiao Tong University☆177Updated 4 years ago
- Solutions to assignments of Stanford CS144, Introduction to Computer Networking, 2020 Fall.☆36Updated 4 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆50Updated 5 years ago
- SUSTech CS205 CPP programming project☆23Updated 10 months ago
- 南京大学山寨毕业论文模版☆138Updated 7 years ago
- History of type theory (Chinese).☆359Updated 8 months ago
- 编译原理相关的工作岗位收集☆88Updated 7 years ago