Benchmark for evaluation of LLMs on concurrency bug fixing tasks
☆14Mar 11, 2026Updated 7 months ago
Alternatives and similar repositories for spaghetti-bench
Users that are interested in spaghetti-bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- OpenDST - Deterministic Simulation Testing for Java☆28Jul 16, 2026Updated 3 months ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 3 weeks ago
- ☆20Apr 22, 2026Updated 6 months ago
- CAN bootloader for STM32 with UDS/ISO-TP firmware update, CRC32 verification and power-loss recovery.☆29Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Sep 28, 2022Updated 4 years ago
- ☆13Apr 10, 2025Updated last year
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- Property-based testing for Java, built on Hypothesis☆27Oct 22, 2026Updated 2 weeks ago
- Rollback protection for confidential services☆35Aug 24, 2026Updated 2 months ago
- ☆21Oct 25, 2021Updated 5 years ago
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- Modulo allows optimal selection of vehicles for effective drive-by sensing☆12Apr 8, 2024Updated 2 years ago
- An SMT solver for program verification☆19Oct 29, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RustScript implementation☆34Updated this week
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆13Apr 21, 2024Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆60Dec 5, 2023Updated 2 years ago
- ☆10Apr 28, 2025Updated last year
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆81Jun 12, 2023Updated 3 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated 3 weeks ago
- ☆18Oct 24, 2026Updated last week
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 years ago
- LLM Skills for Reverse Engineering Bluetooth Code☆32Aug 3, 2026Updated 3 months ago
- A simple Rust crate to cache data both in-memory and on disk☆11Dec 26, 2021Updated 4 years ago
- ☆13Oct 15, 2026Updated 3 weeks ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Archived legacy Filibuster repository. New Filibuster release in preparation: https://filibuster.cloud. Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- C-to-Rust translation using LLMs☆15Updated this week
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 12 years ago
- ☆17Jul 30, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆18Jun 21, 2025Updated last year
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- ☆10Oct 1, 2026Updated last month
- implement similar functionalities using different java concurrency utilities and compare the performance☆12Dec 7, 2016Updated 9 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 years ago