A Verus compiler front-end for IDEs (derived from rust-analyzer)
☆34Feb 3, 2026Updated last month
Alternatives and similar repositories for verus-analyzer
Users that are interested in verus-analyzer are comparing it to the libraries listed below
Sorting:
- ☆79Jan 22, 2026Updated last month
- A memory allocator verified with Verus☆30Feb 18, 2026Updated 2 weeks ago
- An Opinionated Formatter for Verus☆16Feb 23, 2026Updated last week
- ☆13Apr 28, 2025Updated 10 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- Verified Rust for low-level systems code☆2,346Updated this week
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 3 months ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆41Nov 12, 2025Updated 3 months ago
- ☆23Feb 23, 2026Updated last week
- A formally verified security module for AMD confidential VMs☆64Dec 11, 2025Updated 2 months ago
- A verification toolchain for Rust programs☆575Updated this week
- A Coq library for parametric coinduction☆51Jan 30, 2025Updated last year
- 基于Metropolis修改的北大风格Beamer主题☆27May 29, 2022Updated 3 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Feb 25, 2026Updated last week
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated 11 months ago
- Analyze Rust crates without touching compiler internals☆295Feb 26, 2026Updated last week
- ☆17Feb 21, 2026Updated last week
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- homebridge smartthings plugin☆21Feb 25, 2026Updated last week
- SFI verifier of Wasm binaries☆84Mar 22, 2023Updated 2 years ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆64Updated this week
- RustHorn: A CHC-based automated verifier for Rust☆90Mar 14, 2025Updated 11 months ago
- A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust☆10Feb 12, 2022Updated 4 years ago
- Implements a simple "Wasp in the Box" algorithm for SmartThings☆11Feb 10, 2015Updated 11 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- ☆10Jul 30, 2020Updated 5 years ago
- This is the main repository for the Viper IDE extension for VS Code.☆13Updated this week
- Device types and SmartApps written for the SmartThings home automation system.☆11Jun 3, 2014Updated 11 years ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 4 years ago
- Encoders and Decoders for RF and IR protocols used for remote control and data acquisition. Both Encoders and Decoders can be supplied as…☆13Jul 29, 2017Updated 8 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆54Updated this week
- Synchronizable PBKDF2 based password generator☆14Dec 31, 2016Updated 9 years ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- PassDock public issue tracker.☆23Nov 11, 2014Updated 11 years ago
- ☆11Feb 11, 2022Updated 4 years ago
- Online Binary Image Index☆13Nov 14, 2016Updated 9 years ago
- GitHub action to produce a SBOM report from a given Black Duck project☆12Feb 5, 2026Updated last month
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Mar 9, 2025Updated 11 months ago