Structure-Aware C to Rust Translator
☆23Dec 29, 2025Updated 6 months ago
Alternatives and similar repositories for sactor
Users that are interested in sactor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Datasets and code for the CRUST-bench paper.☆39Apr 27, 2026Updated 2 months ago
- ☆38Apr 14, 2026Updated 3 months ago
- Ownership analysis that helps translating C to Rust☆32Apr 9, 2026Updated 3 months ago
- Python API for rewriting GTIRB files☆19Apr 30, 2026Updated 2 months ago
- ☆15Nov 28, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Exploit codes for rconfig <= 3.9.4☆11Mar 17, 2020Updated 6 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Tag the safety properties of the Rust standard library.☆22Updated this week
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- A Pointer Analysis Framework for Rust☆70Jul 13, 2026Updated last week
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 8 months ago
- ☆15May 23, 2019Updated 7 years ago
- ☆19Apr 22, 2026Updated 2 months ago
- An Opinionated Formatter for Verus☆22Jul 2, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated 4 months ago
- ☆25Nov 18, 2025Updated 8 months ago
- Protect your PHP project from deserialization attacks! As seen on NDSS 2024☆15Aug 8, 2025Updated 11 months ago
- ☆16Jan 23, 2022Updated 4 years ago
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 2 years ago
- A curated list of awesome Rust checkers☆68Jun 13, 2026Updated last month
- A small plugin to add markdown support for emoji markup☆14Sep 14, 2024Updated last year
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆33Nov 28, 2025Updated 7 months ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 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.
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- ☆18Nov 27, 2024Updated last year
- Translate C macros and condtional compilation to Rust☆26Jun 23, 2026Updated 3 weeks ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 3 years ago
- ☆15Jul 23, 2021Updated 4 years ago
- A template for new C projects with Autotools, modules, Unity Test and CMock☆16Aug 20, 2022Updated 3 years ago
- decentralized web search engine, web archive and feed reader☆13Jul 21, 2025Updated last year
- ☆14Nov 12, 2025Updated 8 months ago
- Source-level code analysis toolkit for SAST, context engineering, and AI coding☆35Jun 7, 2026Updated last month
- 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.
- 🔩 Find packages that you use that are currently being updated in Nixpkgs.☆17Dec 15, 2025Updated 7 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 4 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆41Jun 17, 2026Updated last month
- A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact …☆18Feb 16, 2023Updated 3 years ago
- ☆13Apr 17, 2025Updated last year
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 3 months ago
- ☆19Nov 2, 2025Updated 8 months ago