A typed, multi-agent pipeline that turns C libraries into safe, idiomatic Rust — with verifiable safety guarantees at every step.
Proven on libyaml. Repeating on libexpat. Open-sourced as safe-libyaml.
The Ferrous Bridge programme translates security-critical C libraries into safe, idiomatic Rust. The first concrete target is libyaml (~9,300 lines of C across ten source files). To translate C faithfully one must read C...
The migration of legacy C libraries to Rust is bottlenecked less by syntax than by the inverse problem of recovering the implicit invariants that C never forced its programmers to state. This paper is a design specificat...
Automated C→Rust transpilation, as exemplified by c2rust (DARPA TRACTOR-funded), is a solved compilation problem but an unsolved safety problem. The output is pervasively unsafe: raw *mut T pointers, manual bounds arithm...
The Ferrous Bridge programme frames C→Rust translation as a multi-agent orchestration pipeline: a typed directed acyclic workflow whose nodes are AI-driven agents and whose edges carry typed artifacts. We give a formal a...