My solutions to problems in Arora & Barak's textbook Computational Complexity
☆18Dec 21, 2011Updated 14 years ago
Alternatives and similar repositories for arora-barak-complexity
Users that are interested in arora-barak-complexity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Book reading☆16Jun 5, 2020Updated 6 years ago
- 期末大作业/eclipse/java web/全栈/☆11Jan 2, 2022Updated 4 years ago
- 星空是一套美观大方的个人博客系统，分为展示端和 管理端。 展示端主要是对游客进行博客展示留言等操作，管理端主要是管理员对博客等信息进行管理用的。 本系统采用的是前后端分离的方式，前端是用Vue+Elementui开发，后端是用SpirngBoot+MyBatis开发。 数据库…☆11Mar 8, 2025Updated last year
- Basic Vacuum Cleaner World Problem in Artificial Intelligence that describes how any action is perfomed after sensing the environment.☆11Feb 11, 2019Updated 7 years ago
- A semi-agnostic ansatz with variable structure for variational quantum algorithms. Published in Quantum Machine Intelligence (2023). Opti…☆12Jan 4, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- C++ courses by MIPT and Yandex☆11Feb 5, 2022Updated 4 years ago
- PoC for CVE-2022-22954 - VMware Workspace ONE Access Freemarker Server-Side Template Injection☆10Apr 12, 2022Updated 4 years ago
- Docker image for redbean from the "scratch" container☆12Jul 25, 2022Updated 4 years ago
- Short-Term Solar Forecasting Using LSTMs☆24Oct 20, 2018Updated 7 years ago
- Quantum Circuit Optimizer based on SVD operation☆13Jan 23, 2023Updated 3 years ago
- A collaborative, open legislative redistricting tool, built atop GitHub.☆25Dec 11, 2022Updated 3 years ago
- ☆12Aug 17, 2022Updated 4 years ago
- 中国科学院大学2022秋季学期智能计算系统实验-陈云霁☆12Jan 3, 2023Updated 3 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 计算机体系结构研讨课 2020秋季 UCAS 《CPU设计实战》 工程环境及 RTL 代码合集☆18Aug 11, 2021Updated 5 years ago
- introduction to opengl☆18Mar 8, 2022Updated 4 years ago
- Dongbo Bu's Algorithm Course UCAS卜东波老师算法作业汇总☆14Jan 21, 2019Updated 7 years ago
- This is the original code for our CVPR2024 paper: CADTalk: An Algorithm and Benchmark for Semantic Commenting of CAD Programs.☆29Nov 9, 2024Updated last year
- Use surrounding WiFi networks to find the geolocation of the device☆19Sep 25, 2018Updated 7 years ago
- Repository to create CCKGs from the paper "Similarity-weighted Construction of Contextualized Commonsense Knowledge Graphs for Knowledge-…☆11May 23, 2025Updated last year
- This repository is a place to leave and share notes on Hak5 scripts - credit to the many authors for sharing great content.☆14Nov 27, 2021Updated 4 years ago
- 中国科学院大学2022秋季学期算法设计与分析理论课/研讨课-卜东波、张家琳☆19Jul 9, 2024Updated 2 years ago
- Source code for "A Critical Re-evaluation of Neural Methods for Entity Alignment"☆16Oct 4, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- THU Bell on macOS☆28Feb 24, 2020Updated 6 years ago
- ☆13Oct 18, 2023Updated 2 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11May 14, 2026Updated 3 months ago
- ☆16Jul 22, 2026Updated 3 weeks ago
- 编译原理 2021春季 UCAS☆19Aug 11, 2021Updated 5 years ago
- A python script to generate custom wordlists using GPT☆14Dec 3, 2023Updated 2 years ago
- A tool that lets you communicate in LaTeX to your friends over Facebook chat.☆22Sep 16, 2016Updated 9 years ago
- Implementation of an LLM prompting pipeline combined with wrappers for auto-decomposing reasoning steps and for search through the reason…☆16May 7, 2024Updated 2 years ago
- UnOfficial Gradio Repo for ICML 2024 paper "Executable Code Actions Elicit Better LLM Agents" by Xingyao Wang, Yangyi Chen, Lifan Yuan, Y…☆16Sep 30, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Aug 10, 2026Updated last week
- A collection of awesome papers about graph processing.☆15Oct 22, 2019Updated 6 years ago
- 国科大计算机系本科课程经验总结☆24Oct 29, 2021Updated 4 years ago
- ☆18Mar 18, 2024Updated 2 years ago
- Ochiai fault localization results for Defects4J buggy projects☆15Apr 19, 2023Updated 3 years ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆13Sep 4, 2023Updated 2 years ago
- ☆18Sep 2, 2025Updated 11 months ago