Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
☆366Oct 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:
- Algoritmos Fibonacci☆17Jul 28, 2017Updated 9 years ago
- Introduction to the Theory of Computation☆10May 21, 2017Updated 9 years ago
- Notes for all the courses I have taken till date☆57Mar 21, 2018Updated 8 years ago
- Boilerplate for SSAD Assignment 2☆28Oct 21, 2018Updated 7 years ago
- Some old projects, code and utilities I wrote during my time at university☆13Feb 3, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Include PDF files in LaTeX documents☆15Mar 30, 2026Updated 5 months ago
- My solution for Introduction to Modern Cryptography (KL2)☆21Oct 21, 2019Updated 6 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
- [EMNLP 2020] Data and PyTorch code of ConjNLI: Natural Language Inference over Conjunctive Sentences☆10Oct 23, 2020Updated 5 years ago
- Studying GPU Multi-tenancy☆11Jan 11, 2019Updated 7 years ago
- Text classification experiments using TextCNNs and Bi-attentive Classification Networks☆10Feb 18, 2019Updated 7 years ago
- ☆35Oct 21, 2020Updated 5 years ago
- Python scripts to download imagenet images and pre-proccess them☆11Jun 29, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- High Fidelity content☆18Dec 10, 2022Updated 3 years ago
- A Keras Implementation of Fast-Neural-Style☆23May 21, 2019Updated 7 years ago
- Course Website for OS Autumn 2021 at Fudan University☆14Feb 1, 2022Updated 4 years ago
- Beacon of Beacons.☆14Sep 25, 2018Updated 7 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆72Nov 29, 2023Updated 2 years ago
- MayaVerse: Version 03 Alfa☆16Nov 9, 2018Updated 7 years ago
- Utility functions that I reuse across different projects☆15Jun 4, 2021Updated 5 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Feb 22, 2017Updated 9 years ago
- Source code for 'Learn Unity for Android Game Development' by Adam Sinicki☆10Jul 6, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- All major Data structures and Algorithms☆20Sep 18, 2020Updated 6 years ago
- Flexibly construct and implement attacks on Learning Parity with Noise☆11Sep 26, 2023Updated 2 years ago
- Learning Android Game Development, published by Packt☆18Jan 30, 2023Updated 3 years ago
- Conditional debug logging for C☆16Jun 22, 2014Updated 12 years ago
- Convert the Berkeley Deepdrive dataset to a TFRecord file☆16May 8, 2019Updated 7 years ago
- A scalable bottom-up approach for building data series indexes☆15Jul 27, 2021Updated 5 years ago
- Code repository for SNARF☆14Apr 27, 2023Updated 3 years ago
- SIGPLAN website☆13Sep 11, 2026Updated last week
- A C++17 library for parser generation for LALR(1) languages☆13Jan 9, 2023Updated 3 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.
- ☆11Jan 7, 2015Updated 11 years ago
- Audio-driven facial animation using neural networks.☆12Mar 31, 2020Updated 6 years ago
- Repository for code, data, and other artifacts for "Minibatch Processing in Spiking Neural Networks"☆14Nov 5, 2019Updated 6 years ago
- PyDV: Python Data Visualizer☆15Sep 2, 2026Updated 3 weeks ago
- Minimal, efficient proof language☆15May 28, 2019Updated 7 years ago
- Resources for: Cross-Lingual Disaster-related Multi-label Tweet Classification with Manifold Mixup (ACL SRW 2020)☆11Sep 9, 2021Updated 5 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago