すべてのツールトレンドオープンソースニュース投稿する

Languageログイン

< 返回工具列表Language

A

anvil

开源

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

194 stars0 点赞0 次浏览

访问官网 GitHub

> 标签

Rustkuberneteskubernetes-controllerkubernetes-operatorverification

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日

最后更新2026年8月1日

分类云原生

定价开源

> 相关工具

容器编排事实标准

Kubernetes 包管理器

SeaweedFS is a distributed storage system for object storage (S3), file systems, and Iceberg tables,

百科.dev

baike.dev は言語・フレームワーク・データベース・DevOps・クラウドネイティブの優良ツール発見を支援します。

クイックリンク

ホーム
すべてのツール
トレンド
オープンソース

について

私たちについて
コミュニティ
ニュース

参加する

良い開発者ツールを見つけたら、ぜひ共有してください。

ツールを投稿

© 2026 baike.dev 開発者百科毎日更新 · 優良な開発者ツールを発見