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.
- Course notes for Computer Science @ SUSTech☆66Jul 25, 2025Updated last year
- C++数学计算器程序☆11Dec 6, 2014Updated 11 years ago
- Algorithm Design (Kleinberg Tardos 2005) - Solutions☆781Feb 9, 2023Updated 3 years ago
- 南科大校巴实时位置☆17Aug 5, 2022Updated 4 years ago
- 实时监控任意网页全部/部分变化插件 A powerful Chrome extension for monitoring web page content changes and notifying users in real-time.☆19Mar 21, 2025Updated last year
- A curated list on papers about combinatorial multi-armed bandit problems.☆18May 10, 2021Updated 5 years ago
- MIP 2024 Computational Competition☆17Jan 29, 2024Updated 2 years ago
- The repository contains all five projects implemented in Sustech CS205 C/C++ class☆16May 7, 2023Updated 3 years ago
- Website for serving Pyret to folks.☆27Jul 23, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Courses in SUSTech☆24Nov 17, 2021Updated 4 years ago
- This repository contains the slides of both lecture and lab, code and notes of Operating System (H) lectured by Prof. Yinqian Zhang in 20…☆26Apr 11, 2023Updated 3 years ago
- All the important parts of SUSTech Computer Science Courses☆348Feb 20, 2025Updated last year
- uCore Operating System Lab☆48Jul 8, 2017Updated 9 years ago
- A three-column graphical LaTeX2e resume☆12Dec 12, 2019Updated 6 years ago
- Contains all relevant scripts & tools developed to assist in conducting the first iteration of the Indian Inter-college Competitive Progr…☆10Sep 14, 2024Updated last year
- An Ash extension to seamlessly encrypt and decrypt resource attributes.☆30Aug 3, 2026Updated 3 weeks ago
- Turns pull request reviews into an interactive learning experience☆25Feb 2, 2026Updated 6 months ago
- Elixir bindings and helpers for the typst typesetting system☆30Apr 22, 2026Updated 4 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.
- Design By Contract for Elixir☆30Updated this week
- This repository is provided by YeeTone Wang, graded A-, mainly for CS205 in 2020Fall by Professor Shiqi. Yu.☆44Oct 9, 2022Updated 3 years ago
- Simple web push library for Elixir☆37Aug 4, 2026Updated 3 weeks ago
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Aug 15, 2017Updated 9 years ago
- ☆15Aug 1, 2025Updated last year
- This repository contains all the sessions covered during the IIIT-H AI ML course.☆10Aug 30, 2021Updated 5 years ago
- 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.☆36Updated this week
- An Elixir Terminal User Interface framework☆33Aug 4, 2026Updated 3 weeks ago
- 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.
- Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs☆42May 26, 2025Updated last year
- ☆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 9 months ago
- All Labs implementation of 6.828 2018 OS course of MIT.☆18May 5, 2023Updated 3 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 10 years ago
- Life32 - Conway's game of life player☆19Jul 9, 2016Updated 10 years ago
- Final Project Instructions for Stanford CS248☆14Mar 3, 2026Updated 5 months ago