Datasets and code for the CRUST-bench paper.
☆42Sep 17, 2026Updated last month
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:
- ☆39Apr 14, 2026Updated 6 months ago
- Structure-Aware C to Rust Translator☆24Dec 29, 2025Updated 10 months ago
- Type-Migrating C-to-Rust Automatic Translator☆17Aug 5, 2024Updated 2 years ago
- ☆27Nov 18, 2025Updated 11 months ago
- ☆65Feb 15, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ownership analysis that helps translating C to Rust☆34Apr 9, 2026Updated 6 months ago
- Parsing-based Analyzer☆78Jun 8, 2025Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆54Apr 12, 2025Updated last year
- 漏洞规则库是一个致力于帮助开发者识别和避免常见安全漏洞的开源项目。我们收集、整理和分析各类编程语言和常用库中的安全漏洞模式，并提供相应的防范措施和最佳实践。☆39Aug 12, 2025Updated last year
- ☆32Oct 7, 2026Updated 3 weeks ago
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated 2 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- Dumpy: A Compact and Adaptive Index for Large Data Series Collections (SIGMOD'23)☆13Dec 12, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Apr 28, 2025Updated last year
- A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.☆13Feb 17, 2023Updated 3 years ago
- FAROS: A Framework for Benchmarking and Analysis of Compiler Optimization☆12Dec 23, 2022Updated 3 years ago
- Repo for PLAN's verified code generation project☆13Aug 2, 2025Updated last year
- ☆18Apr 17, 2026Updated 6 months ago
- Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"☆43Jul 21, 2025Updated last year
- Linux kernel library functions formally verified.☆66Sep 21, 2026Updated last month
- A blog of Programming Languages Group @Purdue☆12Oct 20, 2026Updated last week
- Run TPC-DS against different databases including Hive, Spark SQL and IBM BigSQL☆14Jan 4, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Haskell implementation of the RNCryptor encrypted file format by Rob Napier☆12Nov 14, 2025Updated 11 months ago
- ☆38Apr 8, 2026Updated 6 months ago
- guarded interaction trees☆14Jul 6, 2026Updated 3 months ago
- craco plugin to add purs-loader with create-react-app☆10Sep 29, 2022Updated 4 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆14Oct 22, 2026Updated last week
- Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them☆180Updated this week
- Simple and easy mapping, folding, traversing etc. over a homogeneous `Record` and `Variant`☆13Jun 19, 2022Updated 4 years ago
- ☆52Jun 30, 2025Updated last year
- 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.
- PRISM is a UDF optimization framework that deconstructs a UDF into separate inlinable and outlinable pieces, resulting in simpler queries…☆19Aug 13, 2025Updated last year
- 📀 You finally scored a record deal.☆12Apr 11, 2023Updated 3 years ago
- Verified OxCaml for real projects and real performance.☆18Sep 8, 2026Updated last month
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 7 months ago
- The Gillian Platform main repository☆104Updated this week
- Retry combinators for monadic Aff actions that may fail☆15Aug 15, 2024Updated 2 years ago
- ☆12Dec 10, 2025Updated 10 months ago