5 ms·
They are also contributing to Rust standardization efforts through the Ferrocene project which aims to create a validated Rust toolchain for safety-critical app
by thesuperbigfrog 3y ago
They are also contributing to Rust standardization efforts through the Ferrocene project which aims to create a validated Rust toolchain for safety-critical applications:
https://ferrous-systems.com/blog/ferrous-systems-adacore-joining-forces/ https://ferrous-systems.com/blog/ferrous-systems-adacore-joi...
- conradludgate 3y agoIt seems they left the Ferrocene project recently https://ferrous-systems.com/blog/ferrocene-update/ https://ferrous-systems.com/blog/ferrocene-update/
- thesuperbigfrog 3y agoI had not seen that update. Thank you for sharing it.