Skip to content
@anvil-verifier

anvil-verifier

Verifying Kubernetes controllers

Pinned Loading

  1. anvil anvil Public

    Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

    Rust 230 19

Repositories

Showing 2 of 2 repositories
  • anvil Public

    Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

    anvil-verifier/anvil's past year of commit activity
    Rust 230 19 6 0 Updated Sep 22, 2026
  • verus-tla Public

    TLA embedding in Verus

    anvil-verifier/verus-tla's past year of commit activity
    Rust 25 MIT 0 0 0 Updated Sep 6, 2026

Top languages

Rust