A feedback-driven fault injection tool for reproducing distributed systems failures
☆16Apr 25, 2025Updated last year
Alternatives and similar repositories for Anduril
Users that are interested in Anduril are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated 2 years ago
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆20Mar 6, 2025Updated last year
- A verification tool for ensuring parallelization equivalence in distributed model training.☆18Sep 1, 2025Updated last year
- A curated reading list for machine learning reliability research and practice☆32Sep 18, 2025Updated last year
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An Observability Framework for AI Training☆75Updated this week
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 7 years ago
- Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces (OSDI 26)☆16Sep 1, 2026Updated last month
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆28Oct 3, 2023Updated 3 years ago
- A general training alignment framework for LLM training debugging. OSDI ’26 Best Paper Nominee.☆16Oct 20, 2026Updated last week
- Tigon: A Distributed Database for a CXL Pod [OSDI '25]☆53Jul 13, 2026Updated 3 months ago
- A verification tool for ensuring parallelization equivalence in distributed model training.☆14Sep 17, 2025Updated last year
- ☆15Sep 11, 2026Updated last month
- Coarse-to-Fine Control for Expressive Speech Synthesis☆26Aug 11, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Xkernel: Principled Performance Tunability of Operating System Kernels.☆29Aug 3, 2026Updated 2 months ago
- A shared mailbox for people and their coding agents: hand results, files and context to someone else's agent (Codex, Claude Code, opencod…☆24Updated this week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆244Updated this week
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 6 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- Playstation Vita first_loader hack for units with SoC v4.0 or lower☆16Mar 6, 2023Updated 3 years ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Support UEFI load☆11Oct 1, 2015Updated 11 years ago
- Slooo: A Fail-slow Fault Injection Testing Framework☆10Nov 28, 2022Updated 3 years ago
- Course website for Operating System course in Peking University.☆14Nov 28, 2021Updated 4 years ago
- Going through the Life Cycle of Faults in Clouds: Guidelines on Fault Handling (ISSRE'22)☆10Oct 13, 2022Updated 4 years ago
- C++ APIs for Alluxio (formerly Tachyon)☆19Nov 29, 2016Updated 9 years ago
- A Rocq model of a Linux process that runs a RISC-V binary☆48Updated this week
- Anatomy of High-Performance GEMM with Online Fault Tolerance on GPUs☆14Apr 3, 2025Updated last year
- ☆273Dec 25, 2025Updated 10 months ago
- Wizard Bible archive☆12Apr 16, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Current state of frontend development is controversial. How we got here?☆11Oct 13, 2020Updated 6 years ago
- A determinizing tracer using Ptrace☆43Sep 20, 2020Updated 6 years ago
- ☆13Sep 21, 2014Updated 12 years ago
- 快速搭建一个搜索引擎，示例程序☆10Aug 10, 2016Updated 10 years ago
- Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems [ASE'2023]☆10Jan 10, 2024Updated 2 years ago
- An agent for CUDA compute-communication kernel co-design☆37May 7, 2026Updated 5 months ago
- snippets of my own DOS programs☆16Jun 21, 2026Updated 4 months ago