Resource Allocation for Dynamic Demands
☆22Dec 26, 2023Updated 2 years ago
Alternatives and similar repositories for karma
Users that are interested in karma are comparing it to the libraries listed below
Sorting:
- Code for "Heterogenity-Aware Cluster Scheduling Policies for Deep Learning Workloads", which appeared at OSDI 2020☆137Jul 25, 2024Updated last year
- ☆13Feb 6, 2026Updated last month
- BS3: Block device in S3☆13Apr 19, 2022Updated 3 years ago
- ☆12Jan 12, 2024Updated 2 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 4 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Aug 23, 2022Updated 3 years ago
- BUSE: Block device in user space☆15Apr 19, 2022Updated 3 years ago
- Montage is a system for building fast buffered persistent data structures on nonvolatile memory.☆16Jun 9, 2022Updated 3 years ago
- ☆11Apr 18, 2020Updated 5 years ago
- ☆13May 10, 2024Updated last year
- Rolling statistics calculations (min/max/mean/std_dev) over arbitrary floating point numbers based on Welford's Online Algorithm☆22Oct 3, 2025Updated 5 months ago
- ☆52Dec 13, 2022Updated 3 years ago
- The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"☆26Feb 2, 2024Updated 2 years ago
- 通过系统编程学习Rust☆10Mar 8, 2022Updated 4 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- ☆53Dec 26, 2024Updated last year
- ☆24Oct 27, 2025Updated 4 months ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆25Aug 19, 2025Updated 7 months ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 10 months ago
- Artifact package for CBMM paper (ATC'22)