Advanced Operating Systems project manifest
☆15Sep 6, 2025Updated 6 months ago
Alternatives and similar repositories for AOS-manifest
Users that are interested in AOS-manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SIGPLAN website☆13Mar 16, 2026Updated last week
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- MIPS CPU☆14Dec 10, 2020Updated 5 years ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated 6 months ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Mar 10, 2026Updated 2 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.
- A framework and taxonomy for identifying, classifying, and reasoning about detection logic bugs in SIEM, EDR, and XDR rules, with concret…☆45Mar 5, 2026Updated 3 weeks ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 2 years ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 4 years ago
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆13May 15, 2020Updated 5 years ago
- Rust refactoring project☆20Nov 7, 2016Updated 9 years ago
- A tool for auditing Rust crates☆34Feb 10, 2026Updated last month
- Simple List is a beginner C++ program to keep track of a list of items.☆19Mar 31, 2023Updated 2 years ago
- This is the source of the seL4 docs.☆18Updated this week
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 3 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.
- ucore+ repository for OS laboratory 2015☆11Jun 1, 2018Updated 7 years ago
- L42 main project☆29Nov 2, 2024Updated last year
- A file system test suite to assess the correctness of file system implementations in terms of POSIX compliance.☆13Jul 29, 2025Updated 7 months ago
- 云顶之奕自动拿牌工具，An auto card-pick tool for TFT☆16Jul 12, 2023Updated 2 years ago
- ☆11Jun 3, 2019Updated 6 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆45Updated this week
- Study Guide for COS 418☆11May 24, 2017Updated 8 years ago
- 学堂在线视频字幕下载☆10Mar 7, 2022Updated 4 years ago
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 5 years 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.
- Documentation for TCP Lab☆12May 20, 2025Updated 10 months ago
- My solution to UCB CS61A course SICP-Python Lab HomeWork & Project☆11Oct 20, 2021Updated 4 years ago
- Automatic Speech Recognition (ASR) model QuartzNet trained on English CommonVoice. In PyTroch with CTC loss and beam search.☆16Nov 5, 2020Updated 5 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆228Updated this week
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 3 months ago
- Materials for ECS 201A☆11Oct 23, 2019Updated 6 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Jun 9, 2019Updated 6 years ago
- Test cases for MIPS CPU implementation☆12Dec 26, 2019Updated 6 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months 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.
- directsound player recorder☆11Dec 7, 2021Updated 4 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 8 years ago
- Tournament Manager Software for StarCraft AI Competitions☆78Sep 16, 2020Updated 5 years ago
- 华为云TaurusDB性能挑战赛（HUAWEI TaurusDB Race）☆10Aug 21, 2019Updated 6 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 5 years ago
- Section slides for CS186.☆10Jan 13, 2016Updated 10 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Apr 19, 2022Updated 3 years ago