Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
47,133 repositories indexed
697–720 of 926 · Most stars
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Simple Container-Utilizing Build Apparatus
A repository containing useful, lightweight and reliable dockerfiles.
Artsy's Docker / Kubernetes CLI and Workflow
Docker container for Kafka - Spark Streaming - Cassandra
Scalable, stateless selenium, playwright, devtools, mpc hub for Kubernetes cluster
Take control of your data, connect with anything, and expose it anywhere through protocols such as HTTP, GraphQL, and gRPC.
CetusGuard is a tool that protects the Docker daemon socket by filtering calls to its API endpoints.
eBPF explorer is Web UI that lets you see all the maps and programs in eBPF subsystem
Easy NMOS setup an testing using Docker compose/available containers
minimalistic terminal UI for everyday Docker operations
Docker service for automatically updating Docker swarm services whenever their image is updated.
Big Data essentials: Hadoop, MapReduce, Spark. Explore tutorials and demos in Jupyter notebooks—most are self-contained and live, ready to run with a click.
SSH server and gateway for standard SSH clients: OIDC Device Authorization, Docker/Kubernetes sessions, verifiable audit and recording.
🐳 Dockerized SSH bastion to proxy SSH connections to arbitrary containers.
What's Up, Doc(ker)? A convenient way to interact with the docker daemon using prompts.
Container as a Service admin
Vulnerable Web applications Generator
A small example using PocketBase as a Go Framework with replication/restoration of SQLite DB with Litestream
Companion code for the Sitecore Containers documentation.
Pocketbase with Lightstream
Gradle Docker plugin
A microservice (sidecar) that helps instantly determine the status of your PostgreSQL hosts including whether they are alive, which one is the master, which ones are replicas, and how far each replica is lagging behind the master.
Docker files