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
Repository Index
47,133 repositories indexed
1,081–1,104 of 1,327 · Most stars
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
AWS environment config loader
- golang
- go
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.
Official Elastic Beanstalk repository for GlassFish docker files.
A JMeter plug-in that enables you to send test results to a Kafka server
Lightweight DI Container for Crystal
Cloud Resource Provisioning framework for IBM Storage Scale (or gpfs)
- spectrum-scale
- gpfs
- terraform
- hcl2
Ever wanted to run your own IP lookup service like canhazip.com? Don't want to resort to awful PHP? Powered by Cloudflare Workers (https://cloudflareworkers.com)
- ip
- ip-lookup
- cf
- cf-workers
Self-hosted manga collection manager with automatic metadata, MyAnimeList import, Docker support, and detailed collection statistics.
- database
- isbn
- manga
- myanimelist
builds godot
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
Official asdf plugin for opentofu
- asdf-plugin
- opentofu
- tofu
- command-line
video packaging to *.m3u8 for HLS (HTTP Live Streaming) with FFMPEG on website (ruby on rails)
GitHub Action to Setup Common Lisp tools
- common-lisp
- github-action
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
Cloud Foundry buildpack that provides NGINX
- v2b