anvil-verifier/anvil

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

Rust179 stars14 forks

kuberneteskubernetes-controllerkubernetes-operatorverification

Rankings

Daily

#5827

Weekly

#10572

Monthly

#16604

Engagement

Total stars

Daily new stars

Get badge

Add a Trending Repos badge to your README

This repository is tracked by Trending Repos. The badge upgrades automatically the moment it cracks the top 100 — set it once and forget it.

Markdown — paste into your README

[![Trending Repos](https://trending-repos.com/badge/anvil-verifier/anvil.svg)](https://trending-repos.com/repositories/anvil-verifier/anvil)

HTML

<a href="https://trending-repos.com/repositories/anvil-verifier/anvil"><img src="https://trending-repos.com/badge/anvil-verifier/anvil.svg" alt="Trending Repos" /></a>

Raw image URL

https://trending-repos.com/badge/anvil-verifier/anvil.svg

Back to trending