Artifact evaluation for Dogfood
☆12Feb 22, 2020Updated 6 years ago
Alternatives and similar repositories for dogfood
Users that are interested in dogfood are comparing it to the libraries listed below
Sorting:
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated 11 months ago
- ☆16Aug 11, 2021Updated 4 years ago
- ☆23Feb 16, 2023Updated 3 years ago
- Used for testing the metadata performance of a file system☆25Nov 29, 2017Updated 8 years ago
- Scaling Up Memory Disaggregated Applications with SMART☆34Apr 23, 2024Updated last year
- Strata: A Cross Media File System☆74Apr 12, 2023Updated 2 years ago
- A distributed stream querying engine that provides sub-millisecond stateful query at millions of queries per-second over fast-evolving li…☆10Jul 18, 2018Updated 7 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated 2 months ago
- Main repository of the Open RDF Streaming Benchmark Suite☆16Apr 6, 2025Updated 11 months ago
- 一份写给WHU信管院同学的学习指南，包括课程资料清单和学长学姐的经验分享。☆10Oct 9, 2025Updated 5 months ago
- 运行于WSL中，读取宿主Windows的物理网上IP地址☆14Dec 4, 2023Updated 2 years ago
- Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)☆11Apr 8, 2020Updated 5 years ago
- VSCodium for LoongArch with system-wide Electron.☆12Dec 14, 2023Updated 2 years ago
- 本程序的目的是将苹果手表过去的运动记录方便的上传至strava，并解决导出活动中心率字段缺失的问题，支持运动类型的自动判断。The purpose of this program is to easily upload past exercise records of Ap…☆14Nov 14, 2024Updated last year
- A Progam-Behavior-Guided Far Memory System☆36Oct 26, 2023Updated 2 years ago
- ☆10Aug 9, 2021Updated 4 years ago
- ☆10Dec 2, 2022Updated 3 years ago
- an table component using grid layout designed for edm(html email) development☆10Jul 21, 2021Updated 4 years ago
- 107逢甲-安全程式設計-教材與CTF題目☆12Nov 2, 2019Updated 6 years ago
- ☆16Feb 2, 2023Updated 3 years ago
- Bridge messages between WeChat and Telegram. maximized customization.☆12Jul 17, 2025Updated 7 months ago
- Typst Simple Icons Package☆21Mar 2, 2026Updated last week
- ☆11Aug 4, 2020Updated 5 years ago
- Benchmark your NCNN models on 3DS(or crash)☆10Apr 15, 2024Updated last year
- A simple golang job queue☆13Jan 19, 2023Updated 3 years ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 4 months ago
- Stochastic Variance Reduction Policy Gradient Estimation☆11Nov 6, 2018Updated 7 years ago
- deal with enter permits for Beijing 365 days☆12Oct 16, 2025Updated 4 months ago
- Python driver for MobilityDB☆11Apr 12, 2023Updated 2 years ago
- enjoy programming☆13Jan 9, 2026Updated 2 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Perfetto-based Vulkan Shader Profiler☆11Dec 12, 2025Updated 2 months ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆50Mar 3, 2024Updated 2 years ago
- Arduino Http Server☆16Dec 23, 2025Updated 2 months ago
- An optimized Merkle Patricia Trie implementation on GPU, fully compatible with and integrable into Ethereum. The paper is published on VL…☆14Apr 15, 2024Updated last year
- A simple tool to transform svg images into draw.io compatible XML libraries.☆17Nov 21, 2022Updated 3 years ago
- 采用PPOCR和QPT完成一个疫情信息统计小工具☆11May 12, 2022Updated 3 years ago
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago