Advanced Operating Systems project manifest
☆15Sep 6, 2025Updated 10 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:
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆18Jun 24, 2026Updated 2 weeks ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 2 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆18Jun 29, 2026Updated last week
- A framework and taxonomy for identifying, classifying, and reasoning about detection logic bugs in SIEM, EDR, and XDR rules, with concret…☆57Mar 5, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆18Mar 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 6 years ago
- An integrated context-aware scanner and parser generator☆23Dec 4, 2023Updated 2 years ago
- Tutorials for working with seL4 and/or CAmkES.☆59Jun 1, 2026Updated last month
- A Sokoban Game implemented with WPF, and Assembly in its core.☆11Jun 6, 2019Updated 7 years ago
- A tool for auditing Rust crates☆43Jun 19, 2026Updated 2 weeks ago
- This is the source of the seL4 docs.☆18Updated this week
- The Ur/Web People Organizer☆31May 6, 2024Updated 2 years ago
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 5 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.
- 介绍如何流式下载大文件，并实现断点续传功能。根据顺序下载大文件的字节和乱序下载大文件的各个分段，分别进行了多线程或协程并发，还实现了多个大文件并发下载☆17Aug 27, 2019Updated 6 years ago
- 自己实现harris角点检测☆10Jan 31, 2016Updated 10 years ago
- ☆11Jun 3, 2019Updated 7 years ago
- Finetuning LLaMA with DeepSpeed☆10Apr 14, 2023Updated 3 years ago
- ☆11Apr 25, 2021Updated 5 years ago
- A CS:GO cheat by directly accessing memory in a virtual machine to prevent detection☆20Jun 20, 2020Updated 6 years ago
- This simulator models multi core systems, intended primarily for studies on main memory management techniques. It models a trace-based ou…☆12Jan 18, 2016Updated 10 years ago
- ☆23Jun 14, 2023Updated 3 years ago
- Live Hand tracking using Python and OpenCV to allow user's to paint using finger gestures☆12Sep 24, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Jul 10, 2025Updated 11 months ago
- MLIR Rust multi-level compiler framework☆21May 8, 2023Updated 3 years ago
- xmservice☆10May 28, 2020Updated 6 years ago
- TensorRT Acceleration for PyTorch Native Eager Mode Quantization Models☆17Jul 22, 2024Updated last year
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 6 years ago
- Documentation for TCP Lab☆12May 15, 2026Updated last month
- My solution to UCB CS61A course SICP-Python Lab HomeWork & Project☆11Oct 20, 2021Updated 4 years ago
- scunet登录脚本☆10Sep 7, 2019Updated 6 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
- 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.
- An implementation of Jasper, QuartzNet, Citrinet and pipeline for training CTC-based ASR models☆12Nov 13, 2021Updated 4 years ago
- Materials for ECS 201A☆11Oct 23, 2019Updated 6 years ago
- 学堂在线视频字幕下载☆11Mar 7, 2022Updated 4 years ago
- Production First and Production Ready End-to-End Keyword Spotting Toolkit☆12May 30, 2022Updated 4 years ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Jun 9, 2019Updated 7 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆17Jan 2, 2026Updated 6 months ago
- directsound player recorder☆11Dec 7, 2021Updated 4 years ago