verus
verus is Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.. It is ranked #1077 on the Dev Radar, in Languages & runtimes, first seen 1 h ago and shared in 1 post (351 views).
Release Release 0.2026.11.02.8bf68ee · verus-lang/verus · GitHub Skip to content Navigation Menu Sign in Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation Release 0.2026.11.02.8bf68ee Latest Latest Compare Choose a tag to compare Sorry, something went wrong. Filter Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page . No…
What people said about verus on X
Verus v0.2026.11.02.8bf68ee is out! > It's an update tightening no-cheating safeguards by blocking command-line flags that violate verification rules, with binaries available across Linux, macOS, and Windows. https://github.com/verus-lang/verus/releases/tag/release/0.2026.11.02.8bf68ee
— @rustaceans_rs, 1 h ago · 3 likes · see the post
Alternatives to verus
- Learn Node.js — Node.js advisory
- Microsoft Foundry Blog — TypeScript 7.1 Beta is now available! Now with a preview API, content mapper support, new features, and some great…
- corgi — corgi — Your high-energy–lap-dog inspired rust toolchain.
- bun — bun compile compiles TypeScript and JavaScript to machine code when you build. It's short for bun build --compile…
- Writing An Interpreter In Go — In this book we will create a programming language together. We'll start with 0 lines of code and end up with a fully…
- Writing A Compiler In Go — This is the sequel to Writing An Interpreter In Go and this time we're writing a compiler and a virtual machine for…
verus in numbers
- Rank on the Dev Radar: #1077 of 9010
- Shared in 1 post by 1 account: @rustaceans_rs
- 351 views on those posts
- First seen 1 h ago, last shared 1 h ago
- Pricing seen by AGK Intelligence: open source
- Market: Languages & runtimes
FAQ
What is verus?
Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub. It was first shared on X 1 h ago and is ranked #1077 on the Dev Radar.
Is verus free?
It is open source.
Who shared verus?
1 account on X, including @rustaceans_rs, in 1 post totalling 351 views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 9k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-02 14:12 UTC. Full method.