Tools

Prossimo Initiative
Tools logo

The Story

If we're going to move critical software infrastructure to memory safe code we're going to need to make some investments in tools. It needs to be as easy as possible to build safer software.

What We've Done

  1. We contracted with Rémy Rakic to spend six months improving Rust compile times, from January to September of 2022.
  2. We contracted with Ferrous Systems to for six months of engineering time to make various improvements to the bindgen tool. Work started in August of 2022. So far progress has been made on the following items:

What's Next

Both Rémy and Ferrous Systems continue to make progress in their work.

We plan to extend Rémy Rakic's contract to improve Rust compile times by an additional six months.

Links

Sponsors