# anvil-verifier/anvil

<https://repo.masters-masters.com/en/repos/anvil-verifier/anvil>

[Home](https://repo.masters-masters.com/en) › [anvil-verifier](https://repo.masters-masters.com/en/owners/anvil-verifier) › [anvil](https://repo.masters-masters.com/en/repos/anvil-verifier/anvil)

anvil-verifier/anvil has 246 stars on GitHub. Its RepoMasters card: Prototype tier. Anvil is an experimental framework to build practical, formally verified…

| Field | Value |
| --- | --- |
| Owner | [anvil-verifier](https://repo.masters-masters.com/en/owners/anvil-verifier) |
| Stars | 246 |
| Forks | 21 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | None |
| Created | 2022 |
| Topics | kubernetes, kubernetes-controller, kubernetes-operator, verification, compositionality, formal-verification, liveness, safety, temporal-logic, tla |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [anvil-verifier/anvil](https://github.com/anvil-verifier/anvil) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Rust

- [expressvpn/lightway · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/expressvpn/lightway)
- [0xdea/blindsight · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/0xdea/blindsight)
- [dmtrKovalenko/bashka · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/dmtrKovalenko/bashka)
- [tomassedovic/roguelike-tutorial · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/tomassedovic/roguelike-tutorial)
- [rahul-thakoor/rust\_gpiozero · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/rahul-thakoor/rust_gpiozero)
- [iammatthias/com · ★ 246 · Rust · Prototype](https://repo.masters-masters.com/en/repos/iammatthias/com)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.