cr4sh_
high-assurance-rust
Our great sponsors
cr4sh_ | high-assurance-rust | |
---|---|---|
1 | 7 | |
23 | 1,264 | |
- | - | |
0.0 | 7.1 | |
over 2 years ago | 20 days 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.
cr4sh_
-
cr4sh_ : A UNIX (only because I have not tested it on Windows) shell built with Rust
I was playing around with systems programming a couple of months ago and ended up writing a mini-shell program: https://github.com/bexxmodd/cr4sh_
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!
What are some alternatives?
shellfirm - Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification
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.
zoxide - A smarter cd command. Supports all major shells.
code - Source code for the book Rust in Action
systems-with-rust - 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 [Moved to: https://github.com/bexxmodd/cr4sh_]
onelinerhub - Thousands of code solutions with clear explanation @ onelinerhub.com
alacritty - A cross-platform, OpenGL terminal emulator.
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.