☆35Apr 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for c2saferrust
Users that are interested in c2saferrust 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.☆37Apr 27, 2026Updated last week
- Ownership analysis that helps translating C to Rust☆32Apr 9, 2026Updated last month
- ☆13Apr 28, 2025Updated last year
- ☆16Jan 23, 2026Updated 3 months ago
- ☆63Feb 15, 2023Updated 3 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.
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆53Apr 12, 2025Updated last year
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 6 months ago
- ☆15May 23, 2019Updated 6 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- A small plugin to add markdown support for emoji markup☆14Sep 14, 2024Updated last year
- 【转载】BitTorrent下载器 - 《Linux C编程实战》书后示例☆12Mar 24, 2020Updated 6 years ago
- collect my writings , notes, etc.☆12Jun 12, 2020Updated 5 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- ☆15Jul 23, 2021Updated 4 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.
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- A small group for NCU students who want to learn Hacking.☆12Dec 17, 2017Updated 8 years ago
- Storage agnostic incremental backups tools, building blocks for creating incremental backups utilities.☆28Dec 2, 2013Updated 12 years ago
- easy_Pwn☆19Apr 19, 2019Updated 7 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 2 months ago
- ☆13Apr 17, 2025Updated last year
- My templates used in OI. All C++.☆11Jul 17, 2018Updated 7 years ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆37Apr 29, 2026Updated last week
- Fast and Scalable Data Structures for Scientific and Quantitative Research.☆12Jan 3, 2019Updated 7 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.
- VSCode extension for Xonsh language support☆24May 1, 2026Updated last week
- ☆12Apr 17, 2023Updated 3 years ago
- ☆13Feb 18, 2025Updated last year
- ☆37May 15, 2022Updated 3 years ago
- A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact …☆17Feb 16, 2023Updated 3 years ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 2 years ago
- High-fidelity time library for Rust, useful for applications where sub-nanosecond accuracy and exact arithmetic are needed☆39Nov 4, 2025Updated 6 months ago
- xkcd 的繁體中文翻譯☆36May 20, 2025Updated 11 months ago
- Linux kernel library functions formally verified.☆63Jan 11, 2026Updated 3 months 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.
- A tour of what some Rust language features look like after compilation.☆51Jun 7, 2023Updated 2 years ago
- A patched Solarized Dark scheme that doesn't hide your options and arguments☆20Mar 14, 2024Updated 2 years ago
- Source Code for "Exploring and Unleashing the Power of Large Language Models in Automated Code Translation"☆28Jul 15, 2025Updated 9 months ago
- a new cfi mechanism☆33Sep 23, 2021Updated 4 years ago
- Find the nearest xterm 256 color index for an RGB.☆25Jan 30, 2022Updated 4 years ago
- Parallelized zip archive reading☆37Dec 24, 2024Updated last year
- Jailbreaker!!!☆16Mar 7, 2019Updated 7 years ago