Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of verus-lang.github.io: Verus is a tool for verifying the correctness of code written in Rust

First screen, captured 6 months ago.

Looks similar

Screenshot of hkalbasi.github.io: Zngur: A C++/Rust interop tool

Zngur: A C++/Rust interop tool (hkalbasi.github.io)

142 points by hkalbasi 2 years ago | 28 comments

Screenshot of book.rvemu.app: Writing a RISC-V Emulator in Rust

Writing a RISC-V Emulator in Rust (book.rvemu.app)

100 points by signa11 1 year ago | 41 comments

Screenshot of rust-lang.github.io: MdBook – A command line tool to create books with Markdown

MdBook – A command line tool to create books with Markdown (rust-lang.github.io)

391 points by swatson741 3 years ago | 109 comments

Documentation introduction for mdBook, a Rust command line tool that builds navigable books and documentation sites from Markdown files.

mdbook rust markdown documentation

Screenshot of rust-lang.github.io: MdBook – a command line tool to create books with Markdown

MdBook – a command line tool to create books with Markdown (rust-lang.github.io)

168 points by peter_d_sherman 1 year ago | 57 comments

Screenshot of rkyv.org: Rkyv: A zero-copy deserialization framework for rust

Rkyv: A zero-copy deserialization framework for rust (rkyv.org)

82 points by goranmoomin 2 years ago | 17 comments

Screenshot of github.com: Verus: Verified Rust for low-level systems code

Verus: Verified Rust for low-level systems code (github.com)

139 points by mmcloughlin 1 year ago | 31 comments