Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
☆368Oct 12, 2021Updated 5 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:
- Interview experiences from students @SJTU-SE☆39Sep 22, 2023Updated 3 years ago
- ☆15Apr 28, 2026Updated 5 months ago
- Include PDF files in LaTeX documents☆15Mar 30, 2026Updated 6 months ago
- My solution for Introduction to Modern Cryptography (KL2)☆21Oct 21, 2019Updated 6 years ago
- Advanced Programming - HW7☆11Jun 9, 2022Updated 4 years ago
- 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.
- TopoTrans: Optimal Transport meets Topological Data Analysis☆14Apr 20, 2023Updated 3 years ago
- Implementation of a Spiking Neural Network in Tensorflow.☆23May 13, 2018Updated 8 years ago
- An ARP spoofing detection written in python using Scapy library, based on the paper "Detecting ARP Spoofing: An Active Technique" by Vive…☆15Apr 7, 2021Updated 5 years ago
- a distributed fifo queue based on zookeeper.☆17Dec 28, 2015Updated 10 years ago
- Repository of SMAI homeworks, Monsoon 2019-20.☆19Dec 7, 2019Updated 6 years ago
- A Pytorch implementation for "Hierarchical Attention Network with Pairwise Loss for Chinese Zero Pronoun Resolution“ (AAAI 2020).☆10Dec 10, 2020Updated 5 years ago
- Code for the UCL Statistical NLP course☆10Jan 19, 2015Updated 11 years ago
- ☆14Sep 13, 2026Updated last month
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆10Oct 23, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- summer project☆22May 17, 2020Updated 6 years ago
- Text classification experiments using TextCNNs and Bi-attentive Classification Networks☆10Feb 18, 2019Updated 7 years ago
- ☆12Jul 10, 2018Updated 8 years ago
- (DEPRECATED) SJTU+ 主页与 SJTU 学科交流群☆18Aug 1, 2024Updated 2 years ago
- 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
- ☆35Oct 21, 2020Updated 5 years ago
- LangBench applications and scripts☆14Jun 7, 2023Updated 3 years ago
- ☆28Apr 12, 2024Updated 2 years ago
- ucas自动刷课、评教☆20Jan 3, 2018Updated 8 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.
- Vectorized Batch PIR implementation☆14Jun 22, 2023Updated 3 years ago
- ☆14Oct 8, 2021Updated 5 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆74Nov 29, 2023Updated 2 years ago
- An open-source anonymous forum frontend.☆56Aug 28, 2021Updated 5 years ago
- Integration fork of QEMU focusing on XNU platforms (arm, aarch64, etc)☆14Dec 12, 2022Updated 3 years ago
- Repo for sharing data viz snippets generated by Loft Data Science team☆11Jun 10, 2021Updated 5 years ago
- Based on Conference Paper: Cooperative task offloading and path planning for industrial robotic using spectral and energy efficient feder…☆13May 5, 2023Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- ☆10Apr 17, 2018Updated 8 years ago
- 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.
- Feature Store with Spark Streaming, Kafka, Redis☆16Aug 13, 2021Updated 5 years ago
- All major Data structures and Algorithms☆20Sep 18, 2020Updated 6 years ago
- A teaching operating system on raspberry pi 3/4 ported from xv6☆17Feb 25, 2022Updated 4 years ago
- Flexibly construct and implement attacks on Learning Parity with Noise☆11Sep 26, 2023Updated 3 years ago
- White Paper - Health Information Exchange: Enabling Document Sharing using IHE Profiles☆15Apr 28, 2025Updated last year
- Proof-of-Concept of exploits that may be published☆23Oct 24, 2024Updated last year
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago