Alpha-Girl / sipser-computation-3rd-solutionsView external linksLinks
Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser
☆12Dec 8, 2020Updated 5 years ago
Alternatives and similar repositories for sipser-computation-3rd-solutions
Users that are interested in sipser-computation-3rd-solutions are comparing it to the libraries listed below
Sorting:
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- ☆13Jan 7, 2025Updated last year
- 尚硅谷jQuery教程 jquery从入门到精通学习笔记☆10Sep 11, 2021Updated 4 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- Source files of Fundamental of Artificial Intelligence in the spring semester of junior (USTC 2020 spring)☆12Aug 9, 2020Updated 5 years ago
- Demonstrating systemverilog, verilator and google test for verification☆10Mar 3, 2021Updated 4 years ago
- SJTU CS2951 Computer Architecture Course Project, A Verilog HDL implemented RISC-V CPU.☆10Jan 15, 2022Updated 4 years ago
- 组合数学引论(第2版) 课后习题解答 + 相关编程题推荐☆100Dec 27, 2019Updated 6 years ago
- Flexible memory allocation tool for multi-tiered memory systems☆13Jan 7, 2026Updated last month
- 基于信誉共识和联邦学习的异构车联网交通预测与规划☆12Sep 4, 2023Updated 2 years ago
- Cluster simulator with far memory☆12Apr 28, 2020Updated 5 years ago
- blogs about Coimpiler & Virtual Machine☆12Jun 15, 2025Updated 8 months ago
- [ECCV'24] UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening☆10Dec 18, 2025Updated last month
- 🚀 海南大学编译原理 pl0 语言编译器扩充☆10Dec 19, 2020Updated 5 years ago
- Reduction between computational hard problems.☆12Nov 24, 2025Updated 2 months ago
- ☆11Jun 5, 2024Updated last year
- MESMERIC: A Software-based NVM Emulator Supporting Read/Write Asymmetric Latencies☆10Oct 1, 2020Updated 5 years ago
- ☆17Dec 1, 2025Updated 2 months ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 4 years ago
- 高级操作系统，熊焰&黄文超老师，中科大研究生课程☆12Jul 14, 2020Updated 5 years ago
- ☆14Jan 20, 2024Updated 2 years ago
- ☆19Jun 23, 2025Updated 7 months ago
- This is a repository for graph theory course in USTC☆49Oct 18, 2022Updated 3 years ago
- ☆18Oct 15, 2024Updated last year
- Linux kernel hooking library☆21May 23, 2020Updated 5 years ago
- Advanced Programming - HW4☆16Apr 23, 2022Updated 3 years ago
- PyTorch to Verilog transpiler☆22Mar 17, 2024Updated last year
- Twitter dataset for Conversational Document Prediction to Assist Customer Care Agents (Ganhotra et al. 2020, EMNLP)☆15Nov 15, 2020Updated 5 years ago
- ENtity Relationship Extractor for C/C++ based on @eclipse/CDT. (Under development)☆17Dec 7, 2025Updated 2 months ago
- 中科大高级数据库系统实验-2023fall(金培权)☆13Jan 5, 2024Updated 2 years ago
- ☆12Jul 30, 2022Updated 3 years ago
- In-Memory Key-Value Store Live Migration with NetMigrate☆18Jun 22, 2024Updated last year
- USTC Letter Paper 中科大信纸模板☆18Nov 6, 2021Updated 4 years ago
- Advanced Programming - HW3☆16Mar 23, 2022Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆16Feb 5, 2025Updated last year
- ☆41Oct 15, 2025Updated 3 months ago
- 使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页☆15Sep 15, 2022Updated 3 years ago
- AdaSkip: Adaptive Sublayer Skipping for Accelerating Long-Context LLM Inference☆20Jan 24, 2025Updated last year
- Code for novel methods for one-shot Federated Learning under high statistical heterogeneity.☆18Oct 2, 2023Updated 2 years ago