Skip to content
Change the repository type filter

All

    Repositories list

    • A Verus compiler front-end for IDEs (derived from rust-analyzer)
      Rust
      Apache License 2.0
      1.6k1181Updated Dec 2, 2024Dec 2, 2024
    • Support for Verus programming in Emacs
      Emacs Lisp
      BSD 3-Clause "New" or "Revised" License
      0530Updated Dec 2, 2024Dec 2, 2024
    • verusfmt

      Public
      An Opinionated Formatter for Verus
      Rust
      MIT License
      5581Updated Dec 2, 2024Dec 2, 2024
    • verus

      Public
      Verified Rust for low-level systems code
      Rust
      MIT License
      721.3k10535Updated Dec 2, 2024Dec 2, 2024
    • Verified Node-Replication Crate
      Rust
      MIT License
      1201Updated Nov 30, 2024Nov 30, 2024
    • A memory allocator verified with Verus
      Rust
      Other
      2700Updated Nov 30, 2024Nov 30, 2024
    • HTML
      0100Updated Nov 4, 2024Nov 4, 2024
    • Artifact for the paper "Verus: A Practical Foundation for Systems Verification"
      Rust
      Other
      0200Updated Sep 21, 2024Sep 21, 2024
    • Verus-verified implementation of Ironfleet Sharded Hash Table key-value store
      Rust
      MIT License
      0210Updated Aug 30, 2024Aug 30, 2024
    • blog

      Public
      HTML
      0000Updated Feb 18, 2024Feb 18, 2024
    • The Rust Playground
      TypeScript
      Apache License 2.0
      209000Updated Dec 20, 2023Dec 20, 2023
    • smt2utils

      Public
      Rust libraries and tools for the SMT-LIB-2 standard.
      Jupyter Notebook
      Apache License 2.0
      15100Updated Oct 3, 2023Oct 3, 2023
    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      Other
      13k000Updated Sep 19, 2022Sep 19, 2022
    • .github

      Public
      0000Updated Sep 8, 2022Sep 8, 2022