Get the latest tech news
Verus: Verified Rust for low-level systems code
Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.
Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct. Verus currently supports a subset of Rust (which we are working to expand), and in some cases, it allows developers to go beyond the standard Rust type system and statically check the correctness of code that, for example, manipulates raw pointers. Zulip is an open-source modern team chat app designed to keep both live and asynchronous conversations organized.
Or read this on Hacker News