4
Verus: Verified Rust for low-level systems code
(github.com)
there doesn't seem to be anything here
this post was submitted on 22 Apr 2025
4 points (100.0% liked)
Hacker News
1241 readers
508 users here now
Posts from the RSS Feed of HackerNews.
The feed sometimes contains ads and posts that have been removed by the mod team at HN.
founded 7 months ago
MODERATORS