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
337–360 of 411 · Most stars
Stacks-blockchain with API using docker compose
- blockchain
- hiro
- dns
- decentralized
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Mix task to create mix projects that builds into Docker containers.
- elixir
- elixir-lang
- mix
- hex
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)
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
Cloud Foundry buildpack that provides NGINX
- v2b
Ansible playbook - Containerize, configure and deploy Prometheus ecosystem
Docker images for TeXlive that easily adjust to your needs
- texlive
- docker
- latex
- docker-image
Patient API is a PoC project using Golang, Chi, PostrgreSQL among Docker and Docker compose. Exposing REST API endpoints.
Automate Meteor deployments on Google Cloud App Engine Flexible
- meteor
- deployment
- hosting
Expose AWS Cloudwatch Metrics as a public HTML page using AWS Lambda and server-side rendering
- aws
- aws-lambda
- aws-cloudwatch
- nodejs
OpenResty response time inflation
- openresty
- lua
- nginx
- brute-force
Elixir client for the Docker Remote API
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
Run a Ripple XRP (rippled) validator in a Docker container
- xrp-ledger
Update a pinned gist to contain your PlayStation stats
- awesome-pinned-gists
- pinned-gist
- profile-readme
DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.
- orchestration
- dependency-manager
- git-submodule
- cli
⏰ Update a pinned gist to contain your Daily RescueTime Stats
- pinned-gist
- rescue-box
- rescuetime
- github-actions
TranslatedA GitHub Action that shows Solved.ac profile information as a GitHub Gist
- gistbox
- solved-ac
- solvedac
Experimental type provider for Amazon S3