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 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 3 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 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 计算机体系结构研讨课 2020秋季 UCAS 《CPU设计实战》 工程环境及 RTL 代码合集☆18Aug 11, 2021Updated 4 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
- 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.
- 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 2 months ago
- ☆16Jul 22, 2026Updated last week
- 编译原理 2021春季 UCAS☆19Aug 11, 2021Updated 4 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.☆16Jul 13, 2026Updated 2 weeks ago
- A collection of awesome papers about graph processing.☆15Oct 22, 2019Updated 6 years ago
- 国科大计算机系本科课程经验总结☆23Oct 29, 2021Updated 4 years ago
- ☆18Mar 18, 2024Updated 2 years ago
- Ochiai fault localization results for Defects4J buggy projects☆14Apr 19, 2023Updated 3 years ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆14Sep 4, 2023Updated 2 years ago
- ☆18Sep 2, 2025Updated 10 months ago