high-assurance-rust
code
Our great sponsors
| high-assurance-rust | code | |
|---|---|---|
| 7 | 3 | |
| 1,264 | 1,708 | |
| - | 0.0% | |
| 7.1 | 0.0 | |
| 18 days ago | about 1 year ago | |
| Rust | Rust | |
| - | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
high-assurance-rust
-
Ferrocene – Rust for Critical Systems
related: https://highassurance.rs/
-
Rust from a security perspective, where is it vulnerable?
"High Assurance Rust" is going to be an amazing resource, but is still being written. Still, good stuff there already: https://highassurance.rs/
- High Assurance Rust - High Assurance Rust: Developing Secure and Robust Software
-
Hacker News top posts: Mar 28, 2022
High Assurance Rust: Developing Secure and Robust Software\ (0 comments)
- High Assurance Rust: Developing Secure and Robust Software
- Introducing "High Assurance Rust": a FREE systems software security book!
code
-
Anything C can do Rust can do Better
🔜 Rust in Action - repo - Tim McNamara
- Looking for some small rust projects with an elegant code base that I can study.
-
My book on Rust is available on Amazon!
View on GitHub
What are some alternatives?
misra-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.
tangram - Tangram makes it easy for programmers to train, deploy, and monitor machine learning models.
cr4sh_ - cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational purposes and is a great intro to Systems Programming
pgx - Build Postgres Extensions with Rust! [Moved to: https://github.com/tcdi/pgrx]
onelinerhub - Thousands of code solutions with clear explanation @ onelinerhub.com
cached - Rust cache structures and easy function memoization
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.
whatlang-rs - Natural language detection library for Rust. Try demo online: https://whatlang.org/
book - The Rust Programming Language
command-line-rust - Code for Command-Line Rust (O'Reilly, 2022, ISBN 9781098109417) https://learning.oreilly.com/library/view/command-line-rust/9781098109424/
serde - Serialization framework for Rust
tangram - Tangram is an all-in-one automated machine learning framework. [Moved to: https://github.com/tangramdotdev/tangram]