Datasets and code for the CRUST-bench paper.
☆36Nov 25, 2025Updated 4 months ago
Alternatives and similar repositories for CRUST-bench
Users that are interested in CRUST-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:
- ☆34Apr 29, 2025Updated 11 months ago
- Structure-Aware C to Rust Translator☆21Dec 29, 2025Updated 3 months ago
- ☆25Mar 5, 2026Updated 3 weeks ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated last week
- Artifact repository for the paper "Perfect Is the Enemy of Test Oracle", In Proceedings of The 30th ACM Joint European Software Engineeri…☆11May 4, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 4 months ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated 3 weeks ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆83Updated this week
- A small plugin to add markdown support for emoji markup☆13Sep 14, 2024Updated last year
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆20Jul 8, 2024Updated last year
- tool of llm-based indirect-call analyzer☆30Feb 18, 2025Updated last year
- ☆16Nov 26, 2024Updated last year
- ☆22Mar 21, 2024Updated 2 years ago
- A unification-based alias analysis and related tools☆35Oct 9, 2024Updated last year
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- ☆24Jun 17, 2021Updated 4 years ago
- ☆61Feb 15, 2023Updated 3 years ago
- Storage agnostic incremental backups tools, building blocks for creating incremental backups utilities.☆28Dec 2, 2013Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 3 weeks ago
- Fast and Scalable Data Structures for Scientific and Quantitative Research.☆12Jan 3, 2019Updated 7 years ago
- [ICSE 2024] Code Search is All You Need? Improving Code Suggestions With Code Search☆13Apr 24, 2024Updated last year
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- ☆12Apr 17, 2023Updated 2 years ago
- An experimental web framework for creating user interfaces☆12Jan 30, 2024Updated 2 years ago
- ☆19Mar 3, 2025Updated last year
- A plugin for Hatch that runs build scripts and saves their artifacts.☆25May 29, 2025Updated 10 months ago
- The privML Privacy Evaluator is a tool that assesses ML model's levels of privacy by running different attacks on it.☆18Sep 6, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- High-fidelity time library for Rust, useful for applications where sub-nanosecond accuracy and exact arithmetic are needed☆39Nov 4, 2025Updated 4 months ago
- ☆164May 24, 2024Updated last year
- Parsing-based Analyzer☆75Jun 8, 2025Updated 9 months ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- Awesome AI Benchmarks☆27Jan 16, 2026Updated 2 months ago
- Find the nearest xterm 256 color index for an RGB.☆25Jan 30, 2022Updated 4 years ago
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year