☆57Aug 19, 2025Updated 11 months ago
Alternatives and similar repositories for uva-os-main
Users that are interested in uva-os-main are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fun OS course☆19Dec 28, 2020Updated 5 years ago
- LLMs in a tiny box, under 3 Watt☆18Dec 30, 2024Updated last year
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated last year
- ISCA-2025☆25Mar 3, 2026Updated 4 months ago
- cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.☆99Jun 18, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 4 months ago
- ☆21Apr 3, 2026Updated 3 months ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 10 years ago
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆17Updated this week
- memory access workload simulator☆40Jan 26, 2026Updated 6 months ago
- EMT: An OS Framework for New Memory Translation Architectures☆36Jul 22, 2025Updated last year
- Artifact package for CBMM paper (ATC'22)☆11Jun 5, 2022Updated 4 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated 2 years ago
- GPUReplay, ASPLOS 2022☆42Feb 21, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Main course repository for CPSC 507.☆14Jun 25, 2026Updated last month
- Exploration of Vector database Index for fast approximate nearest neighbour search.☆40Aug 4, 2024Updated last year
- System Intelligence Benchmark☆54May 9, 2026Updated 2 months ago
- Recognise and Learn American Sign Language☆10Oct 18, 2023Updated 2 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆25Nov 22, 2022Updated 3 years ago
- Do something to fit android aarch64 to develop ebpf programs using libbpf-bootstrap framework☆46Sep 14, 2023Updated 2 years ago
- IPFS-WebDAV is a daemon that uses IPFS HTTP RPC and exposes WebDAV☆14Apr 27, 2023Updated 3 years ago
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆175Updated this week
- SysY is a subset of the C programming language. It's a language used in Huawei Bisheng Compiler System Design Contest☆16Oct 7, 2021Updated 4 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.
- Baremetal Backtracing on RISC-V☆16Jun 22, 2021Updated 5 years ago
- ☆54Mar 30, 2020Updated 6 years ago
- Hypervisor from scratch in linux☆13May 8, 2022Updated 4 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆43Nov 12, 2025Updated 8 months ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Apple Silicon TSO Enabler for Linux☆18Nov 11, 2025Updated 8 months ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- Cost-efficient Out-of-core GNN Training System on TB-scale Graph [ICDE 25]☆24Jan 6, 2025Updated last year
- HDU 杭电数字电路课程设计实验部分源码☆15Dec 14, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Tiered Memory Management Beyond Hotness (OSDI'25)☆37Jul 31, 2025Updated 11 months ago
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆18Apr 24, 2026Updated 3 months ago
- OSX interface for the HFSUtils tools☆12Aug 28, 2013Updated 12 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Jan 9, 2022Updated 4 years ago
- C++后端知识点☆15Apr 10, 2024Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago