A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
语言:OCaml · GitHub 星标:2 · Fork:0
话题:docker · kubernetes · mastodon · nusmv · ocaml
在 GitHub 上查看原仓库