Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
433–456 of 491 · Most stars
Install Pocketbase on Dokku a Heroku Alternative
- dokku
- pocketbase
- dokku-ready
- api
Open Source & Self-hosted Spotify release tracker. Auto-syncs new releases to playlists and includes power-user utilities like a discography generator and ghost track cleaner.
- automation
- django
- django-rest-framework
- docker
A sort wrapper enabling both use of random-access sorting on non-random access containers, and increased performance for the sorting of large types.
- sort
- sorting
A curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
- compose
- developer-tools
- development
- docker
Run a Ripple XRP (rippled) validator in a Docker container
- xrp-ledger
Dyna is an AWS DynamoDB ORM for Common Lisp.
Docker-Sentinel: container update orchestration with manual approval queues
- containers
- devops
- docker
- docker-updates
Translate docker run and docker compose file to Infrastructure as Code
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.
- docker
- deployment
- containers
- docker-swarm
Docker configs and build scripts.
A developer CLI tool that manages .env files, detects secret leaks, syncs env drift across teammates, and validates environment parity between local/staging/prod all from your terminal. Written in Go.
A github action to easily build your Substrate WASM runtime using srtool with your CI
Catch broken links before your readers do.
Docker For Testing is a zero dependency wrapper around the `docker` command.
Prompt-injection firewall for LLM applications — 33 input detectors, 9 output scanners, federated ed25519-signed threat-intel feed. Apache 2.0, 1040 tests, F1 96.0% with 0% false positives. Docker, GitHub Action, LangChain/LlamaIndex/CrewAI integrations.
- agentic-ai
- ai-safety
- fastapi
- langchain
:whale2: Minimal FreeSWITCH Docker images
- freeswitch
- docker
- docker-image
- freeswitch-docker
Gemini CLI wrapped as a Docker image, so you don't need to trash your OS with Node and it's dependencies.
Static analysis from configs → Kubernetes NetworkPolicies in seconds
UI and token based authentication server for onpremise docker registry
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
The smallest binary size of template engine, born for docker image
- docker
- template-engine
- command-line-tool
- template
Docker microservice for saving/restoring volume data to S3
Docker Image for Erlang
- erlang
- docker-image
- docker
- otp