YHacker Newsscreenshots

Verus github.com ↗

A tool for verifying the correctness of Rust code.

ToolDev toolsrustformal-verification

Screenshot of github.com, Verus's site

Captured 5 Nov 2026

Recommended in 2 threads

AlphaProof Code
deepmind.google · 3 days ago
Maps Rust code to proofs directly, keeping proofs closer to real code.
Evergreen: A Provably Safe Systems Language
evergreenlang.net · 9 days ago
Cited as a way to get proofs on top of standard Rust and its ecosystem.

Similar tools

Creusot ↗Dev tools
A deductive verifier for Rust code.
1 thread
Aeneas ↗Dev tools
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Flux ↗Dev tools
A refinement type checker for Rust.
3 threads
pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
rustd ↗Dev tools
A Rust compile daemon from DioxusLabs that can also build and run Rust in the browser.
1 thread
wasm-bindgen ↗Dev tools
A tool and library for interop between Rust-compiled WASM and JavaScript.
1 thread
rust-glancer ↗Dev tools
A Rust code-analysis tool positioned as a lighter alternative for IDE support.
1 thread
Kani ↗Dev tools
Kani is a bit-precise model checker for Rust code.
1 thread

Also in Dev tools

Pi ↗
An extensible terminal coding agent that can switch between models.
11 threads
Forgejo ↗
A self-hostable community-driven software forge.
9 threads
OpenCode ↗
An open-source terminal coding agent harness.
9 threads
herdr ↗
A tool to run multiple agents on one project in separate git worktrees.
6 threads
Claude Code ↗
Anthropic's terminal-based coding agent harness.
5 threads
F-Droid ↗
An app store distributing free and open-source Android apps.
4 threads
Radicle ↗
A peer-to-peer code collaboration stack built on Git.
4 threads
Aurora Store ↗
An open-source alternative client for downloading apps from Google Play.
3 threads
Flux ↗
A refinement type checker for Rust.
3 threads
GitLab ↗
A Git hosting and DevOps platform with an open-source community edition.
3 threads
Gitea ↗
A lightweight self-hosted Git service.
3 threads
Jujutsu ↗
A version control system that can use git as a storage backend.
3 threads

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/verus-lang/verus