2 ms·
More about Ferrocene, the safety-critical Rust toolchain / specification that is in the works: https://www.adacore.com/ferrocene https://www.adacore.com/ferroc
by thesuperbigfrog 4y ago
More about Ferrocene, the safety-critical Rust toolchain / specification that is in the works:
https://www.adacore.com/ferrocene https://www.adacore.com/ferrocene
https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/
https://spec.ferrocene.dev/ https://spec.ferrocene.dev/