midwinter1993 / dogfoodView external linksLinks
Artifact evaluation for Dogfood
☆12Feb 22, 2020Updated 5 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 10 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
- ☆10Aug 9, 2021Updated 4 years ago
- Main repository of the Open RDF Streaming Benchmark Suite☆16Apr 6, 2025Updated 10 months ago
- Задачи для онлайн-курса "Котлин как первый язык программирования" (2019)☆11Apr 8, 2020Updated 5 years ago
- 一份写给WHU信管院同学的学习指南，包括课程资料清单和学长学姐的经验分享。☆10Oct 9, 2025Updated 4 months ago
- 运行于WSL中，读取宿主Windows的物理网上IP地址☆14Dec 4, 2023Updated 2 years ago
- A Progam-Behavior-Guided Far Memory System☆35Oct 26, 2023Updated 2 years ago
- VSCodium for LoongArch with system-wide Electron.☆12Dec 14, 2023Updated 2 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated last month
- 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
- 本程序的目的是将苹果手表过去的运动记录方便的上传至strava，并解决导出活动中心率字段缺失的问题，支持运动类型的自动判断。The purpose of this program is to easily upload past exercise records of Ap…☆13Nov 14, 2024Updated last year
- deal with enter permits for Beijing 365 days☆11Oct 16, 2025Updated 4 months ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 3 months ago
- Benchmark your NCNN models on 3DS(or crash)☆10Apr 15, 2024Updated last year
- Typst Simple Icons Package☆20Updated this week
- Declarative 3D graphics for Kotlin Multiplatform. Build WebGPU/Vulkan scenes using Compose-style syntax with the Materia engine.☆29Jan 26, 2026Updated 3 weeks ago
- ☆16Feb 2, 2023Updated 3 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 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
- Stochastic Variance Reduction Policy Gradient Estimation☆11Nov 6, 2018Updated 7 years ago
- Python driver for MobilityDB☆11Apr 12, 2023Updated 2 years ago
- enjoy programming☆13Jan 9, 2026Updated last month
- A simple golang job queue☆13Jan 19, 2023Updated 3 years ago
- ☆10Dec 2, 2022Updated 3 years ago
- ☆11Aug 4, 2020Updated 5 years ago
- Perfetto-based Vulkan Shader Profiler☆11Dec 12, 2025Updated 2 months ago
- Bridge messages between WeChat and Telegram. maximized customization.☆12Jul 17, 2025Updated 6 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 last year
- 一种基于FasterWhisper与Pyannote的语音转文字工具以及基于纯多模态LLM的同类工具☆16Jan 31, 2026Updated 2 weeks ago
- Software Failure and Reliability Assessment Tool (SFRAT)☆13Sep 25, 2025Updated 4 months ago
- a blog based on github page☆10Sep 21, 2016Updated 9 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago