High Assurance Rust: Developing Secure and Robust Software

• high-assurance-rust

  7 1,264 7.1 Rust

  A free book about developing secure and robust systems software.

• serde

  191 8,572 9.1 Rust

  Serialization framework for Rust

  

This sort of book is common in the Rust community, eg https://doc.rust-lang.org/book/ and https://serde.rs/ are two more examples many Rust programmers will come across.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• book

  626 14,251 8.7 Rust

  The Rust Programming Language

  

This sort of book is common in the Rust community, eg https://doc.rust-lang.org/book/ and https://serde.rs/ are two more examples many Rust programmers will come across.

• misra-rust

  8 112 0.0 Rust

  An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.

  

When it comes to MISRA C, it is interesting to note how many (a majority) of its rules do not apply or have native enforcement[1].

You might have also seen the AUTOSTAR Rust in Automotive Working Group announcement recently[2].

[1]: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...

[2]: for some reason the announcement was removed from the "News and events" site, https://webcache.googleusercontent.com/search?q=cache%3Ahttp... but it is still available as a PDF https://www.autosar.org/fileadmin/user_upload/20220308_RustW...

Suggest a related project