Ownership analysis that helps translating C to Rust
☆34Apr 9, 2026Updated 6 months ago
Alternatives and similar repositories for crown
Users that are interested in crown are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆24Jan 4, 2026Updated 10 months ago
- C-to-Rust translation using LLMs☆15Updated this week
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated 2 weeks ago
- Tag the safety properties of the Rust standard library.☆23Sep 11, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆40Apr 14, 2026Updated 6 months ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆28Oct 15, 2022Updated 4 years ago
- Translate C macros and condtional compilation to Rust☆28Aug 2, 2026Updated 3 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A tool for auditing Rust crates☆50Oct 31, 2026Updated last week
- ☆65Feb 15, 2023Updated 3 years ago
- A Rust compiler backend and runtime that compiles Rust kernels to many NPU/GPU accelerators via MLIR — vendor-agnostic (Ascend, Trainium,…☆20Updated this week
- noshell, a no_std argument parser and a shell for constrained systems.☆30Feb 27, 2026Updated 8 months ago
- This is a tool to delete the remaining dependencies and cache files in the development environment, eg: nodule_modules、target...☆11Jul 22, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Terminal User Interface (TUI) application for managing multiple GitHub accounts easily☆14Oct 28, 2025Updated last year
- A lightweight mergerfs/unionfs/overlayfs/aufs substitute☆19Apr 6, 2026Updated 7 months ago
- Fork of cannon that supports Rust☆15Sep 24, 2022Updated 4 years ago
- A modern and powerful markup language that compiles into HTML☆12Mar 21, 2026Updated 7 months ago
- Quick File Transfer, true peer-to-peer over UDP☆12Oct 16, 2026Updated 3 weeks ago
- Materials and slides for talks I've given in the past☆14Aug 16, 2026Updated 2 months ago
- This program allows one device on a shared network to share its screen with others. It is designed for pair programming and technical mee…☆17Oct 26, 2025Updated last year
- A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.☆229Updated this week
- TinyWatcher — Lightweight, single-binary log and system monitor. Free & open-source, real-time alerts.☆19Dec 6, 2025Updated 11 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.
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- CLUU is a hobby operating system made in Rust (some userspace is C) - in active development phase - targeting x86_64 and with plans to su…☆14Aug 4, 2026Updated 3 months ago
- Cross-platform hidden file library and utility☆33Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆48Apr 7, 2026Updated 6 months ago
- A file system test suite to assess the correctness of file system implementations in terms of POSIX compliance.☆18Jul 20, 2026Updated 3 months ago
- UB-free and deterministic rustc fuzzer☆108Dec 21, 2025Updated 10 months ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated 3 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- A Rust recreation of the classic 1968 BASIC game Hammurabi with a modern TUI☆24Jun 18, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆12Jun 20, 2022Updated 4 years ago
- A curated list of awesome Rust checkers☆70Aug 22, 2026Updated 2 months ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- Chrome Extension for visualizing browsing history☆11Sep 6, 2023Updated 3 years ago
- [FSE'26] Agent-centric Debugging Interface (ADI)☆19Jun 3, 2026Updated 5 months ago
- Rust reimplementation of the login project☆25Apr 23, 2026Updated 6 months ago
- ☆13Apr 3, 2026Updated 7 months ago