Skip to content
#

Docker Compose

docker-compose logo

Docker Compose is a tool that was developed to help define and share multi-container applications. With Compose, we can create a YAML file to define the services and with a single command, can spin everything up or tear it all down.

Here are 32,015 public repositories matching this topic...

PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  • Updated Jun 3, 2024

Released October 16, 2014

Latest release 10 days ago

Followers
167 followers
Repository
docker/compose
Website
docs.docker.com/compose

Related Topics

containers docker