Rust and SPARK – Software Reliability for Everyone

Programming languages often defer reliability and security issues to tools and processes. Two initiatives—SPARK and Rust—state that language is key to reaching these objectives. Read more

Similar

Chrome OS component written in Rust

This component, known as crosvm, runs untrusted operating systems along with virtualized devices. No actual hardware is emulated. This only runs VMs through the Linux's KVM interface. What makes crosvm unique is a focus on safety within the programming la... (more…)

Read more »

Rust by Example

[Rust][rust] is a modern systems programming language focusing on safety, speed,and concurrency. It accomplishes these goals by being memory safe without using garbage collection.

Read more »