Skip to content

Add other organizations #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Nov 16, 2022
Merged

Add other organizations #16

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 9 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -93,4 +93,12 @@ Language-independent tools such as [Valgrind](https://www.valgrind.org/), [Dr. M
# Books/Guides
| Name | Repository | Description |
|:------------:|:---------------------------------------:|:----------------------------------------------------------------------:|
| Secure Rust Guidelines | https://github.com/ANSSI-FR/rust-guide | A guide providing recommendations and resources for secure application development in Rust. |
| Secure Rust Guidelines | https://github.com/ANSSI-FR/rust-guide | A guide providing recommendations and resources for secure application development in Rust. |

---
# Groups of people
| Name | Repository | Description |
|:----:|:----------:|:-----------:|
| Rust Secure Code Working Group (Secure Code WG) | https://github.com/rust-secure-code/wg | Us, [an official Rust working group](https://www.rust-lang.org/governance/wgs/wg-secure-code): "Making it easy to write secure code in Rust" |
| Rust Formal Methods Interest Group (RFMIG) | https://github.com/rust-formal-methods/wg | Interest group for using [formal methods](https://en.wikipedia.org/wiki/Formal_methods) to verify the correctness of Rust software — not part of the Rust governance structure |
| Rust VMM community | https://github.com/rust-vmm/community | "rust-vmm is an open-source project [...] to build custom Virtual Machine Monitors (VMMs) and hypervisors" |