c-to-rust

CPU inference for Kimi K3, a 2.78T-parameter MoE LLM, in pure Rust. No GPU, no BLAS, no PyTorch. Streams the checkpoint from disk. Byte-identical port of kimi-k3-in-c.

A port of intel/tinycbor from C to Rust. The original Qt test suite runs against it unmodified, linked as a drop-in libtinycbor.a.

Qwen3.5-27B fine-tuned with a three-stage Rust, debugging, and C2Rust curriculum; 87.3% execution-verified success on 200 C programs.

A drop in Rust port of sthttpd 2.27.0, proven by differential tests against the original C binary.

C-to-Rust migration CLI — LLM agents translate C to idiomatic, safe Rust (0 unsafe blocks) with byte-exact differential testing

Working fork of the DARPA TRACTOR public corpus — exercising a faithful, differentially-certified C→Rust translation pipeline.

Rust-from-C systems-style Hitori solver with compact cells, graph validation, recursive search, CLI tooling, tests, and AI-native phase docs.

AI-assisted port of GNU Wget2 (24K LOC C) to Rust: 10 libraries + 1 CLI binary, 0 unsafe, ~13h interaction time. Methodology: 6 porting patterns documented in diary/.

Experimental code translator tool for Lupos

🦀 C→Rust port of DaveGamble/cJSON — 🧪 22/22 original tests unmodified, 🐛 70M+ fuzz comparisons/0 divergences, 🎯 CVE-2025-57052 fixed.

Learn Rust from scratch with hands-on examples — designed for C/C++/Java/Python developers moving into safe systems programming.

Algorithm-aware C-to-Rust translation. One command, local LLM, five mandatory correctness gates.