Algorithm Design (Kleinberg Tardos 2005) - Solutions
☆40Sep 23, 2018Updated 7 years ago
Alternatives and similar repositories for Solutions-Klenberg
Users that are interested in Solutions-Klenberg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 7 years ago
- 南方科技大学数据结构与算法分析课程 lab code and tests(cheating paper) in SUSTech CS203 Data Structures and Algorithm Analysis course☆16Feb 11, 2025Updated last year
- 南方科技大学2022年春季学期计算机组成原理期末项目 125/100☆12Jun 23, 2022Updated 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.
- ☆16Jun 24, 2024Updated 2 years ago
- C++数学计算器程序☆11Dec 6, 2014Updated 11 years ago
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆779Feb 9, 2023Updated 3 years ago
- LLMSurver - Automatic LLM-based literature review filtering inside your browser☆17Aug 19, 2025Updated 11 months ago
- The public release repository for SUSTech SQL (CS307) course project 2.☆17Jun 11, 2021Updated 5 years ago
- 实时监控任意网页全部/部分变化插件 A powerful Chrome extension for monitoring web page content changes and notifying users in real-time.☆19Mar 21, 2025Updated last year
- ☆24May 4, 2026Updated 3 months ago
- A interactive and web-based 3D Rubik's cube simulator☆21Mar 23, 2016Updated 10 years ago
- Digital logic design FinalProject CS207 数字逻辑(105/100)满分project☆15Jun 14, 2022Updated 4 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.
- MIP 2024 Computational Competition☆17Jan 29, 2024Updated 2 years ago
- A collection of tools to analyze student's Python source code☆32Jul 14, 2026Updated 3 weeks ago
- HTML5 Nintendo's original Super Mario Bros☆32Oct 23, 2023Updated 2 years ago
- A QQ bot with lots of functions☆32Jul 26, 2026Updated 2 weeks ago
- Courses in SUSTech☆24Nov 17, 2021Updated 4 years ago
- Generative Model for Neural Networks☆25Jul 2, 2020Updated 6 years ago
- All the important parts of SUSTech Computer Science Courses☆347Feb 20, 2025Updated last year
- Simple webapp (Google Appengine) to convert UIUC course listings into importable calendar files☆24Aug 8, 2020Updated 6 years ago
- Code for "Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP", which appeared at SOSP 2021☆28Dec 15, 2021Updated 4 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.
- Naming is the most difficult part of programming, this repo may save your time.☆34Jul 15, 2022Updated 4 years ago
- Turns pull request reviews into an interactive learning experience☆25Feb 2, 2026Updated 6 months ago
- SUSTech's CS202 Computer_Organization in 2019Spring.☆25Jun 26, 2022Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆45Sep 22, 2021Updated 4 years ago
- USTC_CA_2021Spring 中科大 计算机体系结构☆21Jun 15, 2023Updated 3 years ago
- Clarity is an interactive introspection and visualization tool for Elixir, Ash and Phoenix projects.☆27Aug 1, 2026Updated last week
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Aug 15, 2017Updated 8 years ago
- My Public APIs Collections to be used in public projects.☆10Jul 31, 2026Updated last week
- This repository contains all the sessions covered during the IIIT-H AI ML course.☆10Aug 30, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zing : An explicit state model checker for concurrent and message passing programs.☆16Dec 1, 2016Updated 9 years ago
- The extension for building state machines with Ash resources.☆36Aug 4, 2026Updated last week
- An Elixir Terminal User Interface framework☆33Aug 4, 2026Updated last week
- ☆14Sep 8, 2017Updated 8 years ago
- Feature-rich Save System for the Godot Game Engine supporting code-less saving via reusable components.☆13Nov 16, 2025Updated 8 months ago
- [NSDI 2023] TopoOpt: Optimizing the Network Topology for Distributed DNN Training☆42Sep 10, 2024Updated last year
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 10 years ago