Repository Index

A set of exercises to prepare for Certified Kubernetes Application Developer exam by Cloud Native Computing Foundation

• kubernetes
• ckad
• certification
• ckad-exercises

learn docker in your terminal, with bite sized exercises

• docker
• tui
• tutorial

Deliberate exercises for Kubernetes

Exercises for Docker training

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

• coq
• coq-art
• exercises
• docker-coq-action

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs