Skip to content
@verus-lang

verus-lang

The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html

Popular repositories Loading

  1. verus verus Public

    Verified Rust for low-level systems code

    Rust 1.5k 90

  2. verus-analyzer verus-analyzer Public

    Forked from rust-lang/rust-analyzer

    A Verus compiler front-end for IDEs (derived from rust-analyzer)

    Rust 19 6

  3. verified-memory-allocator verified-memory-allocator Public

    A memory allocator verified with Verus

    Rust 16 4

  4. verusfmt verusfmt Public

    An Opinionated Formatter for Verus

    Rust 10 6

  5. verus-mode.el verus-mode.el Public

    Support for Verus programming in Emacs

    Emacs Lisp 6

  6. paper-sosp24-artifact paper-sosp24-artifact Public

    Artifact for the paper "Verus: A Practical Foundation for Systems Verification"

    Rust 4

Repositories

Showing 10 of 15 repositories
  • verus Public

    Verified Rust for low-level systems code

    verus-lang/verus’s past year of commit activity
    Rust 1,467 MIT 90 119 32 Updated Apr 11, 2025
  • verusfmt Public

    An Opinionated Formatter for Verus

    verus-lang/verusfmt’s past year of commit activity
    Rust 10 MIT 6 9 (3 issues need help) 3 Updated Apr 10, 2025
  • verified-node-replication Public

    Verified Node-Replication Crate

    verus-lang/verified-node-replication’s past year of commit activity
    Rust 1 MIT 1 0 1 Updated Apr 8, 2025
  • verus-analyzer Public Forked from rust-lang/rust-analyzer

    A Verus compiler front-end for IDEs (derived from rust-analyzer)

    verus-lang/verus-analyzer’s past year of commit activity
    Rust 19 Apache-2.0 1,761 2 1 Updated Apr 5, 2025
  • action-update-release Public Forked from viperproject/create-nightly-release

    GitHub action to update an existing (pre-)release.

    verus-lang/action-update-release’s past year of commit activity
    TypeScript 0 1 0 0 Updated Mar 27, 2025
  • verified-memory-allocator Public

    A memory allocator verified with Verus

    verus-lang/verified-memory-allocator’s past year of commit activity
    Rust 16 4 0 0 Updated Mar 26, 2025
  • verified-ironkv Public

    Verus-verified implementation of Ironfleet Sharded Hash Table key-value store

    verus-lang/verified-ironkv’s past year of commit activity
    Rust 3 MIT 1 1 0 Updated Feb 20, 2025
  • verus-mode.el Public

    Support for Verus programming in Emacs

    verus-lang/verus-mode.el’s past year of commit activity
    Emacs Lisp 6 BSD-3-Clause 0 4 (1 issue needs help) 0 Updated Feb 18, 2025
  • paper-sosp24-artifact Public

    Artifact for the paper "Verus: A Practical Foundation for Systems Verification"

    verus-lang/paper-sosp24-artifact’s past year of commit activity
    Rust 4 0 0 0 Updated Jan 29, 2025
  • event-sites Public
    verus-lang/event-sites’s past year of commit activity
    HTML 2 0 1 0 Updated Jan 27, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…