The repository host gives no description.
Repository Index
47,133 repositories indexed
745–768 of 883 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Container-focused Golang config: unify Env & Flag parsing in one call with minimal code and zero dependencies.
- cli
- command-line
- config
- configuration
An extension for telescope.nvim that allows you to manage Terminal buffers created with toggleterm.nvim plugin. Mirrored from Sourcehut.
- neovim-plugin
- neovim-lua-plugin
- neovim-telescope-extension
- telescope-extension
Docker dynamic upstreams for Caddy.
Generate production-ready Spring Boot backend boilerplate from a single YAML or JSON spec.
Instantly deploy your Meteor apps with `meteor-hero`
- meteor
- heroku
- meteor-application
- docker
A Docker project template generator written in Rust
- docker
- boilerplate
- template
- oci
Sample integrating aurelia with identityserver 4 and docker
A lightweight, zero-dependency TUI dashboard for managing Docker containers and images dynamically in the terminal.
- dashboard
- developer-tools
- docker
- monitoring
Get started playing with Craft CMS 3 in a few command lines with Docker
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Dynamically configure applications that require static configuration in docker container.
- nim
- smalte
- template
- docker
Stacks-blockchain with API using docker compose
- blockchain
- hiro
- dns
- decentralized
Starting a monolithic CRUD RESTful Web Service with Vert.x stack and postgreSQL
Core elements of the Modern Honey Network implemented in Docker
Self-hosted AI-assisted CTI-to-detection workbench for ATT&CK mapping, IOC/CVE intelligence, Threat Radar, malware triage, Attack Simulation, and SIEM validation.
Connects Node RED with Docker daemon
Simple Docker Honeypot server emulating small snippets of the Docker HTTP API
Local CI pipeline runner with parallel execution and Docker support.
- werk
- executor
- parallel-jobs
- task-runner
Automatically update a local or remote hosts file with Docker container hostnames
Mix task to create mix projects that builds into Docker containers.
- elixir
- elixir-lang
- mix
- hex
Official Elastic Beanstalk repository for GlassFish docker files.
a compact graph indexer stack for parity substrate, polkadot, kusama