high-assurance-rust
cr4sh_
Our great sponsors
| high-assurance-rust | cr4sh_ | |
|---|---|---|
| 7 | 1 | |
| 1,264 | 23 | |
| - | - | |
| 7.1 | 0.0 | |
| 18 days ago | over 2 years 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!
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_
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.
shellfirm - Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification
code - Source code for the book Rust in Action
zoxide - A smarter cd command. Supports all major shells.
onelinerhub - Thousands of code solutions with clear explanation @ onelinerhub.com
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_]
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.
move-links - CLI utility to move (or rename) your files to a new location and redirect all of its symbolic links, to the new path
book - The Rust Programming Language
alacritty - A cross-platform, OpenGL terminal emulator.
serde - Serialization framework for Rust
grab - An attempt at making a simple clone of grep(1) using Rust.