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:
- (Keep It) Simple Stupid Database☆10Jul 16, 2017Updated 8 years ago
- Documentation for TCP Lab☆12May 15, 2026Updated last month
- 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 6 years ago
- 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 5 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.
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- NES emulator in Rust☆17Oct 31, 2025Updated 8 months ago
- Code for "Fast Sparse ConvNets" CVPR2020 submissions☆12Nov 20, 2019Updated 6 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- Our unique contributions are in tools/train/benchmark.☆22Apr 14, 2025Updated last year
- All public report slides, articles and meeting minutes related to RustSBI☆29May 12, 2026Updated last month
- Minimal TensorFlow implementation of the Advantage Actor-Critic model for Atari games☆12Feb 15, 2018Updated 8 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 2 years ago
- ☆31Jul 11, 2022Updated 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.
- TensorFlow Lite for Microcontrollers Python package for Raspberry Pi Zero☆13Jan 24, 2022Updated 4 years ago
- A shielded DbE-based deduplicated storage system based on Intel SGX in USENIX ATC'22☆17Oct 18, 2022Updated 3 years ago
- An FPGA integration and acceleration of the popular FAISS framework for approximate similarity search☆25Jul 20, 2019Updated 6 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 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
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆20May 18, 2026Updated last month
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆27Mar 8, 2026Updated 3 months ago
- ☆49Jun 2, 2022Updated 4 years ago
- ☆28Mar 4, 2025Updated last year
- 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.
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 6 years ago
- ☆15Apr 25, 2024Updated 2 years ago
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Feb 28, 2021Updated 5 years ago
- Random collections of my interested research papers / projects☆20May 20, 2021Updated 5 years ago
- Course website for Advanced Operating Systems☆13Apr 8, 2022Updated 4 years ago
- ☆57Aug 19, 2025Updated 10 months ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- LDCF is a novel efficient approximate set representation structure for large-scale dynamic data sets. LDCF uses a novel multi-level tree …☆15Mar 24, 2021Updated 5 years ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 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.
- 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
- Python library (C++ backend) for degree-preserving network randomization☆14Oct 14, 2019Updated 6 years ago
- ☆61Oct 29, 2020Updated 5 years ago
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆14Oct 8, 2024Updated last year
- (AAAI 2021) Official TensorFlow implementation of "Vector Quantized Bayesian Neural Network Inference for Data Streams", a temporal smoot…☆20Mar 24, 2023Updated 3 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated last year
- 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