Hacker GitHub

← All repos

rust-secure-code/projects

View on GitHub ↗ ★ 273

Contains a list of security related Rust projects.

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2022-11-11 · latest 2025-02-11

Mentions per year 3 mentions · busiest year 2025 (2)
20082026
AllStoriesComments NewestTopOldest
  1. rust-secure-code/projects > Model checkers: https://github.com/rust-secure-code/projects#model-checkers : Loom: https://docs.rs/loom/latest/loom/ : > Loom is a model checker for concurrent Rust code. It exhaustively explores the behaviors…
    comment by westurner · 2025-02-11 · in The state of Rust trying to catch up with Ada [video]
  2. …//github.com/rustfoundation/safety-critical-rust-conso... rust-secure-code/projects#groups-of-people: https://github.com/rust-secure-code/projects#groups-of-peopl... Rust book > Chapter 16. Concurrency:…
    comment by westurner · 2025-02-11 · in The state of Rust trying to catch up with Ada [video]
  3. …- Go 101 > "Type-Unsafe Pointers" https://go101.org/article/unsafe.html https://pkg.go.dev/unsafe - https://github.com/rust-secure-code/projects#side-channel-vu... - Segmentation fault > Causes, Examples, :…
    comment by westurner · 2022-11-11 · in NSA urges orgs to use memory-safe programming languages