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

YHacker Newsscreenshots

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

First screen, captured 5 months 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: Ribir: Non-intrusive GUI framework for Rust/WASM

Ribir: Non-intrusive GUI framework for Rust/WASM (github.com)

71 points by adamnemecek 11 months ago | 16 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: CRusTTY: A pedagogical C interpreter with time-travel debugging capabilities

CRusTTY: A pedagogical C interpreter with time-travel debugging capabilities (github.com)

5 points by varun_ch 7 months ago | 0 comments

Screenshot of github.com: Yserver: A modern X11 server written in Rust

Yserver: A modern X11 server written in Rust (github.com)

95 points by Venn1 4 months ago | 87 comments

Screenshot of github.com: Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust

Prek: A better, faster, drop-in pre-commit replacement, engineered in Rust (github.com)

267 points by fortuitous-frog 8 months ago | 114 comments