Back in July 2024, DARPA announced they were accepting proposals for reliable C to Rust conversion automation. Project title is Translate All C to Rust. A year later, there are some contracts with academia. Here's one, for $5 million:

Trying to find more of the contractors.

1 post - 1 participant

Read full topic