Sign in

Repository Index

59,132 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,633–1,656 of 1,819 · Most stars

Swarm Management is a python application, installed with pip. The application makes it easy to manage a Docker Swarm by configuring a single *.yml file describing which stacks to deploy, and which networks, configs or secrets to create.

Tile package is a compressed file containing a set of tiles and a tiling scheme, which can be used as a basemap in ArcGIS applications.

  • arcgis
  • basemap
  • raster
  • layer

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

A latency / fault tolerance library to help isolate your applications from an uncertain world of slow or failed services.