Repository Index

TranslatedLearn and understand Docker&Container technologies, with real DevOps practice!

• docker
• book
• cloud-computing
• container

Learning Vim and Vimscript doesn't have to be hard. This is the guide that you're looking for 📖

• vim
• editor
• tutorial
• programming

Ansible for DevOps examples.

• ansible
• devops
• vagrant
• examples

An open-source full-length book on Docker

• docker
• docker-compose

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

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