CMU 15-712 lecture slides
☆11Jan 6, 2020Updated 6 years ago
Alternatives and similar repositories for 15-712-Advanced-and-Distributed-Operating-Systems
Users that are interested in 15-712-Advanced-and-Distributed-Operating-Systems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 16, 2022Updated 4 years ago
- Bε tree implementation☆14Dec 6, 2023Updated 2 years ago
- ☆11Apr 3, 2021Updated 5 years ago
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Aug 9, 2026Updated 2 months ago
- Scheduler-Plugins maintains a list of kubernetes scheduler plugins used in InftyAI community.☆11Jun 16, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- WRite Ahead Logging for distributed applications.☆32Jun 1, 2022Updated 4 years ago
- mitigation script by disabling ipv6 of all interfaces☆13Aug 15, 2024Updated 2 years ago
- 让AI使用的Dify-WorkFlow-CLI工具☆21Apr 8, 2026Updated 6 months ago
- A distributed file system written in Rust.☆29Feb 7, 2021Updated 5 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated last year
- AI Agent Skills for Apifox CLI, helping agents manage API projects, tests, imports, exports, and branch workflows.☆17Jul 9, 2026Updated 3 months ago
- 中国特色软著登记 - 源代码生成器：输入项目路径即可自动生成所需 `docx` 文档☆11Sep 13, 2023Updated 3 years ago
- A Notion Agent that Provides Arxiv Papers on Your Interest☆13Mar 4, 2025Updated last year
- 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.
- 爬虫项目，用来爬取huntr网站的cve相关信息☆12May 10, 2023Updated 3 years ago
- Vim 标配☆11Aug 30, 2011Updated 15 years ago
- Fix Codex WebSocket reconnecting caused by image-bloated rollout sessions☆16Aug 13, 2026Updated 2 months ago
- Django + vue + 前后端分离 备忘录小项目☆13Dec 11, 2022Updated 3 years ago
- ☆12Apr 20, 2017Updated 9 years ago
- astyle mirror (http://astyle.sourceforge.net/)☆11Mar 12, 2018Updated 8 years ago
- ☆33Feb 11, 2021Updated 5 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- Vulnerability database generator: a submodule for VUDDY☆15May 28, 2024Updated 2 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.
- 一个基于 Project Context 进行 Prompt优化 的 Claude Code SKILL，并配置有界面进行迭代优化；Advanced Claude Code skill for systematic prompt engineering. Optimizes…☆16Apr 13, 2026Updated 6 months ago
- Golang实现的socks5、http代理协议，支持黑名单和白名单。支持通过二级代理包括shadowsocks连接。☆19Apr 25, 2019Updated 7 years ago
- ☆13Apr 17, 2023Updated 3 years ago
- Astra — The context-to-execution runtime for enterprise agents. https://matrixorigin.io/astra☆36Updated this week
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- 🦖 A Compiler for PL/0 plus language (something like PASCAL)☆16Jan 10, 2025Updated last year
- This is the term project of course 'Object-Oriented Programming' ,SSE, Tongji University, 2017.☆15Jun 20, 2017Updated 9 years ago
- Simple embedded java database☆39May 20, 2026Updated 5 months ago
- custom kubernetes scheduler by scheduler extender☆17May 14, 2025Updated last year
- 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.
- 非付费的chatgpt3.5 用户也可以使用付费的chatgpt4 Webpilot 插件. Free ChatGPT 3.5 users can also use the paid ChatGPT 4 Webpilot plugin.☆18Jun 21, 2023Updated 3 years ago
- Agent skill for editorial-style interactive technical diagrams☆14Oct 9, 2026Updated 3 weeks ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 3 years ago
- Markdown to X Articles preview and copy tool☆11Oct 24, 2026Updated last week
- mkdb is a SQL-based relational database management system (RDBMS) written in Golang (1.18+) with zero third-party dependencies. The goal …☆48May 29, 2024Updated 2 years ago
- 第六届字节青训营项目：使用 Gin 作为web框架，MySQL 作为数据存储并使用 Gorm 操作数据库。使用Etcd作为注册中心，Grpc 进行服务之间的通信。 采用 redis 作为缓存；消息中间件 RabbitMQ☆13Nov 14, 2023Updated 2 years ago
- ☆15Jan 10, 2024Updated 2 years ago