casys-kaist / kevView external linksLinks
KAIST Educational Virtualization
☆16Oct 4, 2024Updated last year
Alternatives and similar repositories for kev
Users that are interested in kev are comparing it to the libraries listed below
Sorting:
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- ☆44Nov 20, 2024Updated last year
- Tiered Memory Management: Access Latency is the Key!☆62Mar 17, 2025Updated 10 months ago
- ☆56Dec 19, 2025Updated last month
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆37Sep 15, 2024Updated last year
- ☆63Updated this week
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆23Jan 3, 2026Updated last month
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- Ankama新游戏Waven Beta测试专用汉化启动器☆10Aug 20, 2023Updated 2 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆11Aug 1, 2024Updated last year
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- ☆82May 30, 2025Updated 8 months ago
- Midas is a memory management system that efficiently and safely harvests idle memory for applications' soft state.☆10Oct 30, 2024Updated last year
- ☆12Apr 26, 2023Updated 2 years ago
- ☆14Oct 30, 2024Updated last year
- VSS: A Storage System for Video Analytics☆13Jul 9, 2021Updated 4 years ago
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆11Feb 16, 2021Updated 5 years ago
- VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models☆12Dec 12, 2025Updated 2 months ago
- This is a GIT syncronization of https://wiki.newae.com☆10Feb 21, 2018Updated 7 years ago
- Advanced futures library☆16Feb 3, 2026Updated last week
- ☆10Sep 15, 2023Updated 2 years ago
- For replicating streams across clouds, accounts and regions☆18Jan 22, 2026Updated 3 weeks ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 15, 2025Updated last year
- ☆12Aug 14, 2025Updated 6 months ago
- A standalone CXL-enabled system simulator.☆18Jan 10, 2026Updated last month
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆17Jan 24, 2026Updated 3 weeks ago
- ☆16Aug 19, 2024Updated last year
- Example container image for running on Cloudflare's container runtime☆10Jan 22, 2025Updated last year
- ☆48Nov 25, 2025Updated 2 months ago
- 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
- ☆12Feb 17, 2023Updated 2 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- base32 encoding/decoding for ziglang☆16Dec 24, 2025Updated last month
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- ☆13Apr 13, 2023Updated 2 years ago
- Tutorial Exercises and Code for GPU Communications Tutorial at HOT Interconnects 2025☆27Oct 22, 2025Updated 3 months ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Updated this week