GitHub - verus-lang/verus: Verified Rust for low-level systems code - discu.eu

Hacker News

Verified Rust for low-level systems code https://github.com/verus-lang/verus 103 comments 4/5/2024

Lobsters

verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 5 comments 5/5/2024 formalmethods , plt , programming , rust

Reddit

GitHub - verus-lang/verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 10 comments 5/5/2024 rust

Linking pages

xavxav - Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments

Linked pages

Zulip — organized team chat https://zulip.com/ 94 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - verus-lang/verus: Verified Rust for low-level systems code

See how to search.

Submit link to: