Coq-of-rust: Formal verification tool for Rust (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Coq-of-rust: Formal verification tool for Rust

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format

Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format (github.com)

199 points by rorosen 1 year ago | 44 comments

Screenshot of github.com: Visualize Ownership and Lifetimes in Rust

Visualize Ownership and Lifetimes in Rust (github.com)

199 points by ljahier 1 year ago | 51 comments

Screenshot of github.com: Creusot helps you prove your Rust code is correct

Creusot helps you prove your Rust code is correct (github.com)

56 points by fanf2 5 months ago | 6 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

Screenshot of github.com: Cpp2Rust: Translates C++ to safe Rust automatically

Cpp2Rust: Translates C++ to safe Rust automatically (github.com)

36 points by signa11 3 months ago | 8 comments

Screenshot of github.com: Rust--: Rust without the borrow checker

Rust--: Rust without the borrow checker (github.com)

109 points by ravenical 9 months ago | 175 comments