A fun OS course
☆19Dec 28, 2020Updated 5 years ago
Alternatives and similar repositories for os-course
Users that are interested in os-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆57Aug 19, 2025Updated last year
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆14Nov 14, 2025Updated 10 months ago
- Documentation for TCP Lab☆12May 15, 2026Updated 4 months ago
- Open sourced implementation of a prototype for Hyperledger Fabric chaincode execution with OP-TEE. This work is part of the master thesis…☆14Sep 10, 2019Updated 7 years ago
- ☆19Feb 28, 2022Updated 4 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.
- Secure SQLite Database entirely inside a secure Intel SGX enclave (Linux).☆15Jun 29, 2020Updated 6 years ago
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 6 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 4 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- ☆18Oct 9, 2023Updated 2 years ago
- All public report slides, articles and meeting minutes related to RustSBI☆29May 12, 2026Updated 4 months ago
- Our unique contributions are in tools/train/benchmark.☆22Apr 14, 2025Updated last year
- NES emulator in Rust☆16Oct 31, 2025Updated 10 months ago
- Minimal TensorFlow implementation of the Advantage Actor-Critic model for Atari games☆12Feb 15, 2018Updated 8 years 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.
- MobiSys#114☆23Aug 17, 2023Updated 3 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- ☆31Mar 25, 2026Updated 5 months ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆20Jul 27, 2023Updated 3 years ago
- A shielded DbE-based deduplicated storage system based on Intel SGX in USENIX ATC'22☆18Oct 18, 2022Updated 3 years ago
- Course website for Advanced Operating Systems☆12Apr 8, 2022Updated 4 years ago
- One-size-fits-all model for mobile AI, a novel paradigm for mobile AI in which the OS and hardware co-manage a foundation model that is c…☆30Mar 5, 2024Updated 2 years ago
- ☆49Jun 2, 2022Updated 4 years ago
- (AAAI 2021) Official TensorFlow implementation of "Vector Quantized Bayesian Neural Network Inference for Data Streams", a temporal smoot…☆20Mar 24, 2023Updated 3 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.
- ☆14Updated this week
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 6 years ago
- Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms☆12Apr 9, 2018Updated 8 years ago
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Feb 28, 2021Updated 5 years ago
- ☆37May 28, 2024Updated 2 years ago
- Random collections of my interested research papers / projects☆20May 20, 2021Updated 5 years ago
- Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campu…☆28Jun 29, 2020Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ☆28Mar 4, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tool for decomposing DRAM address mapping into component-level functions☆17Jun 12, 2025Updated last year
- Supplementary Material to accompany the paper, DJ Warne, SA Sisson, C Drovandi (2019) Acceleration of expensive computations in Bayesian…☆13Oct 23, 2020Updated 5 years ago
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆20Apr 3, 2026Updated 5 months ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆15Oct 8, 2024Updated last year
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆23Aug 22, 2022Updated 4 years ago