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

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/.

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

RIIR-style harness + skill for reliable C→Rust and Python→Rust ports on mid-tier LLMs. Staged milestones, frozen-test anti-cheat, polish. Measured on OpenCode free MiMo + Nemotron (subset fixtures — not full FastAPI/inih/Bun).

Experimental code translator tool for Lupos

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

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

C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.

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

RunuX: a #[no_std] Rust kernel and Linux-subsystem reimplementation with Lean 4 formal verification. Real boots on x86_64, RISC-V, and AArch64 (QEMU + real GCP VMs), an eBPF-style syscall firewall, and real PCIe/IOMMU probing on Google Cloud TPU hardware. Research project, contributions welcome.