Hacker GitHub

← All repos

verus-lang/verus

View on GitHub ↗ ★ 3,536 Rust

Verified Rust for low-level systems code

14 mentions on Hacker News by 12 people: 1 story, 13 comments · first 2024-05-04 · latest 2026-09-18

Mentions per year 14 mentions · busiest year 2026 (8)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 284
    Verified Rust for low-level systems code
    story by gz09 · 2024-05-04 · 103 comments