47,133 repositories indexed
1–8 of 8 · Most stars
Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q
A collection of postmortem templates
TranslatedKubernetes automation, migration and ops toolkit. Kubernetes automation, operations and migration tool: Alibaba Cloud 3-master HA, Compose→K8s, Terraform, Kubekey, deployment verification and troubleshooting.
Realistic synthetic events for testing, demos, and pipelines — streamed live or generated in bulk
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Docker configs and build scripts.