ferrous-systems/sealed-rust

Bringing Rust to the Safety Critical Domain

215

0 commits

updated Feb 13, 2020

See the code

README

Sealed Rust

Ferrous Systems

This is the coordination repository for the Sealed Rust project, an effort to bring The Rust Programming Language to safety critical software domains, such as Automotive, Industrial, Medical, and Avionics software.

Sealed Rust is a venture of Ferrous Systems Gmbh.

Please feel free to contact us if you are interested in these efforts by sending us an email.

Current Status

We are currently working on developing our plan for this domain. For more information, please see our introduction blog post.

ferrous-systems/sealed-rust

Bringing Rust to the Safety Critical Domain

215

0 commits

updated Feb 13, 2020

See the code

README

Sealed Rust

Ferrous Systems

This is the coordination repository for the Sealed Rust project, an effort to bring The Rust Programming Language to safety critical software domains, such as Automotive, Industrial, Medical, and Avionics software.

Sealed Rust is a venture of Ferrous Systems Gmbh.

Please feel free to contact us if you are interested in these efforts by sending us an email.

Current Status

We are currently working on developing our plan for this domain. For more information, please see our introduction blog post.