Meshery, the cloud native manager
- meshery
- management-plane
- hacktoberfest
- kubernetes
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Tool and policy library for reviewing Google Kubernetes Engine clusters against best practices
- gcp
- gke
- opa
- rego
go-test-coverage is a tool designed to report issues when test coverage falls below a specified threshold
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Docker images of coq-mathcomp [maintainer=?]