Verification of Containered Services
Popular repositories Loading
-
awesome-operators
awesome-operators PublicForked from operator-framework/awesome-operators
A resource tracking a number of Operators out in the wild.
-
operator-lifecycle-manager
operator-lifecycle-manager PublicForked from operator-framework/operator-lifecycle-manager
A management framework for extending Kubernetes with Operators
Go
-
operator-registry
operator-registry PublicForked from operator-framework/operator-registry
Operator Registry runs in a Kubernetes or OpenShift cluster to provide operator catalog data to Operator Lifecycle Manager.
Go
-
CoreOS-operator
CoreOS-operator PublicForked from operator-framework/getting-started
An end-to-end scenario showing how to use the Operator Framework.
-
kubebuilder
kubebuilder PublicForked from kubernetes-sigs/kubebuilder
Kubebuilder - SDK for building Kubernetes APIs using CRDs
Go
-
metacontroller
metacontroller PublicForked from GoogleCloudPlatform/metacontroller
Lightweight Kubernetes controllers as a service
Go
Repositories
- rust-verification-tools Public Forked from project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
- ProVerif Public Forked from wenhuizhang/ProVerif
Mirror of ProVerif: Cryptographic protocol verifier in the formal model, https://bblanche.gitlabpages.inria.fr/proverif/
- psa-arch-tests Public Forked from ARM-software/psa-arch-tests
Tests for verifying implementations of TBSA-v8M and the PSA Developer APIs
- kubebuilder Public Forked from kubernetes-sigs/kubebuilder
Kubebuilder - SDK for building Kubernetes APIs using CRDs
- operator-sdk Public Forked from operator-framework/operator-sdk
SDK for building Kubernetes applications. Provides high level APIs, useful abstractions, and project scaffolding.
- operator-lifecycle-manager Public Forked from operator-framework/operator-lifecycle-manager
A management framework for extending Kubernetes with Operators
- K8sPatterns-Examples Public Forked from k8spatterns/examples
Examples for "Kubernetes Patterns - Reusable Elements for Designing Cloud-Native Applications"