Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
☆363Oct 12, 2021Updated 4 years ago
Alternatives and similar repositories for Introduction-to-the-Theory-of-Computation-Solutions
Users that are interested in Introduction-to-the-Theory-of-Computation-Solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for all the courses I have taken till date☆57Mar 21, 2018Updated 8 years ago
- 👨💻 ❤️ 💻 本科阶段比较值得参加的与代码有关的比赛，或者活动，或者组织☆37Jun 17, 2025Updated 10 months ago
- This repo is for experiment of UCAS Computer Network course☆27Jan 13, 2021Updated 5 years ago
- Undergraduate 2017-2021☆13Dec 1, 2020Updated 5 years ago
- ☆14Apr 1, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SJTU OJ HomeWork && DS_STL☆17Feb 10, 2021Updated 5 years ago
- ☆17Jul 18, 2017Updated 8 years ago
- My solution for Introduction to Modern Cryptography (KL2)☆21Oct 21, 2019Updated 6 years ago
- Study Notes for COMP2017 at USYD☆19Aug 12, 2020Updated 5 years ago
- UOJ部署指北☆20Oct 3, 2024Updated last year
- a distributed locker based on zookeeper and implemented in golang.☆15Aug 27, 2016Updated 9 years ago
- Source code of "Deep Rank Hashing Network for Cancellable Face Identification"☆12Jul 8, 2022Updated 3 years ago
- Implementation of a Spiking Neural Network in Tensorflow.☆24May 13, 2018Updated 7 years ago
- Repository of SMAI homeworks, Monsoon 2019-20.☆19Dec 7, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Open-source high-performance RISC-V processor☆32Dec 12, 2025Updated 4 months ago
- summer project☆22May 17, 2020Updated 5 years ago
- Studying GPU Multi-tenancy☆11Jan 11, 2019Updated 7 years ago
- 👨💻 ❤️ 💻 上海交通大学软件学院本科编程作业参考☆911Mar 3, 2026Updated last month
- ucas自动刷课、评教☆19Jan 3, 2018Updated 8 years ago
- ☆35Oct 21, 2020Updated 5 years ago
- Near-Optimal Oblivious Key-Value Stores☆13Nov 27, 2023Updated 2 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- It is a program to simulate the behavior of MIPS machine written in C. It can run most of the instructions in the MIPS instruction set☆27Dec 7, 2014Updated 11 years ago
- Parallel programming course at Peking University☆17Dec 19, 2018Updated 7 years ago
- Utility functions that I reuse across different projects☆15Jun 4, 2021Updated 4 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆69Nov 29, 2023Updated 2 years ago
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 10 years ago
- A library that you can use to build spiking neural network brains for your Arduino robots! Largely allows you to follow the paradigms of …☆10Nov 21, 2015Updated 10 years ago
- Test platform for various render and interface tests for next-gen VR system☆14Dec 11, 2022Updated 3 years ago
- ☆13Oct 13, 2019Updated 6 years ago
- Repository for Huff - an EVM programming language☆28Feb 17, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Flexibly construct and implement attacks on Learning Parity with Noise☆11Sep 26, 2023Updated 2 years ago
- DevComm-Shanghai Weekly 上海地区高校技术社团联合周报（欢迎投稿）☆66Apr 8, 2026Updated 3 weeks ago
- A scalable bottom-up approach for building data series indexes☆15Jul 27, 2021Updated 4 years ago
- All major Data structures and Algorithms☆20Sep 18, 2020Updated 5 years ago
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆12Dec 15, 2017Updated 8 years ago
- Private Set Union☆14Oct 24, 2022Updated 3 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago