☆50Aug 19, 2025Updated 7 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:
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- LLFree: Lock- and Log-free Allocator☆27Mar 16, 2026Updated last week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆40Sep 22, 2021Updated 4 years ago
- Federated Few-shot Learning for Mobile NLP. Conditionally accepted by MobiCom'23.☆16Aug 18, 2023Updated 2 years ago
- 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.
- GPU Admin Tools. Includes Confidential Computing controls for H100, and other functionality☆65Dec 2, 2025Updated 3 months ago
- ☆19Feb 28, 2022Updated 4 years ago
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- The open-source project for "Mandheling: Mixed-Precision On-Device DNN Training with DSP Offloading"[MobiCom'2022]☆19Aug 4, 2022Updated 3 years ago
- Our unique contributions are in tools/train/benchmark.☆21Apr 14, 2025Updated 11 months ago
- My submission for the GPUMODE/AMD fp8 mm challenge☆29Jun 4, 2025Updated 9 months ago
- Formalization of DBSP☆33Aug 22, 2023Updated 2 years ago
- C语言，基于mark-sweep算法实现的垃圾回收机制☆12Dec 20, 2018Updated 7 years ago
- A multi-messaging-sevice aggregator into an all-in-one application (android's app beeper-like)☆20Sep 8, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Automatically generate *.ics files for classes☆15Oct 12, 2023Updated 2 years ago
- A key/value database based on SkimpyStash.☆13Jun 11, 2015Updated 10 years ago
- SJTU SE3331 CSE (a distributed file system with Raft and MapReduce)☆10Jan 14, 2024Updated 2 years ago
- ☆106Oct 2, 2024Updated last year
- ☆29Nov 10, 2025Updated 4 months ago
- A LevelDB for implementing LSM-related papers☆11Aug 7, 2023Updated 2 years ago
- 2022秋季学期-北航计院-编译原理实验课设☆12Jun 25, 2023Updated 2 years ago
- A verified tensor library in Lean☆38Oct 9, 2025Updated 5 months ago
- GUIEvalKit: Open-source Evaluation Toolkit for GUI Agents☆19Feb 26, 2026Updated last month
- 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.
- 一个由 C/C++ 语言编写而成的类 Scratch 编辑器☆14Jul 14, 2019Updated 6 years ago
- ☆14Nov 14, 2023Updated 2 years ago
- ☆17Mar 22, 2024Updated 2 years ago
- 华中科技大学_计算机组成原理实验☆12Nov 15, 2020Updated 5 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆51Updated this week
- 华科 羽毛球场地预定助手 | 使用 tkinter 实现的定时预定羽毛球场地程序☆19Dec 11, 2019Updated 6 years ago
- ☆14Jul 17, 2025Updated 8 months ago
- GreptimeDB protobuf files.☆19Mar 6, 2026Updated 3 weeks ago
- Detecting and analyzing deep learning usage on smartphone apps☆32Jan 22, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Cache design for CNN on mobile☆33Jul 31, 2018Updated 7 years ago
- ☆28Jun 20, 2025Updated 9 months ago
- A diff tool that provides line and token level colorization.☆21Updated this week
- Vibe Coding A GPGPU via Cursor + Gemini3 Pro☆73Nov 23, 2025Updated 4 months ago
- ☆31Feb 27, 2026Updated last month
- the C++ implement of Adaptive Replacement Cache (ARC) Algorithm☆13Jun 8, 2022Updated 3 years ago
- Lightweight translation layer between syntect.rs and ratatui.rs style types☆22May 9, 2025Updated 10 months ago