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:
- ☆11Jun 14, 2024Updated last year
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- ☆46Nov 20, 2024Updated last year
- ☆55Dec 19, 2025Updated 2 months ago
- ☆67Updated this week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆51Sep 2, 2024Updated last year
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated 2 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
- VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models☆12Dec 12, 2025Updated 2 months ago
- UI for Seo-Rii/Webtoon_Downloader☆12Jan 7, 2023Updated 3 years ago
- ☆16Aug 19, 2024Updated last year
- A standalone CXL-enabled system simulator.☆19Jan 10, 2026Updated last month
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆11Feb 16, 2021Updated 5 years ago
- Official Code Implementation for the CCS 2022 Paper "On the Privacy Risks of Cell-Based NAS Architectures"☆11Nov 21, 2022Updated 3 years ago
- ☆12Nov 8, 2024Updated last year
- ☆12Aug 14, 2025Updated 6 months ago
- Example container image for running on Cloudflare's container runtime☆10Jan 22, 2025Updated last year
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 15, 2025Updated last year
- This is a GIT syncronization of https://wiki.newae.com☆10Feb 21, 2018Updated 8 years ago
- ☆10Sep 15, 2023Updated 2 years ago
- Advanced futures library☆16Feb 3, 2026Updated last month
- ☆294Nov 27, 2024Updated last year
- ☆48Nov 25, 2025Updated 3 months ago
- ☆13Apr 13, 2023Updated 2 years ago
- Tutorial Exercises and Code for GPU Communications Tutorial at HOT Interconnects 2025☆31Oct 22, 2025Updated 4 months ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Mar 2, 2026Updated last week
- ☆13Jun 10, 2024Updated last year
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- base32 encoding/decoding for ziglang☆16Dec 24, 2025Updated 2 months ago
- ☆12Feb 17, 2023Updated 3 years ago
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆19Jan 24, 2026Updated last month
- 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
- [VLDB 2024] Source code for FusionQuery: On-demand Fusion Queries over Multi-source Heterogeneous Data☆11Mar 11, 2025Updated 11 months ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- KAIST CS420: Compiler Design☆554Apr 3, 2025Updated 11 months ago
- ☆15Dec 31, 2024Updated last year