keep font-size in proportion with its containers size
Repository Index
47,133 repositories indexed
337–360 of 414 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
A Docker project template generator written in Rust
- docker
- boilerplate
- template
- oci
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
- aspire
- blazor
- csharp
- dotnet
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
Connects Node RED with Docker daemon
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Delphi client for Amazon Simple Email Service (AWS SES)
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
Helping Ansible users in Taiwan with any questions.
Lightweight DI Container for Crystal
Self-hosted manga collection manager with automatic metadata, MyAnimeList import, Docker support, and detailed collection statistics.
- database
- isbn
- manga
- myanimelist
Simple and flexible dependency injection container for dart.
Adapter for a dropwizard appication (v0.8) so that it can be deployed as a war on a servlet 3 container
video packaging to *.m3u8 for HLS (HTTP Live Streaming) with FFMPEG on website (ruby on rails)
Source-to-Image builder for Common Lisp applications on OpenShift
Ansible playbook - Containerize, configure and deploy Prometheus ecosystem
TranslatedA real-time chat platform built with PocketBase and Vue3.
- pocketbase
- tanstack-query
- vue3
- tailwindcss
The tested, tool-agnostic AGENTS.md kit — verified templates, a CI linter, and migrators from .cursorrules/CLAUDE.md/Copilot/Windsurf/Cline/Aider.
CDK construct that sets up email alerts for AWS monthly bill
- aws-billing
- cdk-construct
- aws-cdk
- aws-cloudwatch