Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang
- 2pc
- 3pc
- distributed-systems
- two-phase-commit
Repository Index
58,632 visible repositories in the index
289–312 of 337 · Most stars
Ansible role for installing, configuring, and maintaining InfluxDB
keep font-size in proportion with its containers size
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
A Docker project template generator written in Rust
- docker
- boilerplate
- template
- oci
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
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
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
Source-to-Image builder for Common Lisp applications on OpenShift
Ansible playbook - Containerize, configure and deploy Prometheus ecosystem
The tested, tool-agnostic AGENTS.md kit — verified templates, a CI linter, and migrators from .cursorrules/CLAUDE.md/Copilot/Windsurf/Cline/Aider.
TranslatedA real-time chat platform built with PocketBase and Vue3.
- pocketbase
- tanstack-query
- vue3
- tailwindcss
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
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
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
⏰ Update a pinned gist to contain your Daily RescueTime Stats
- pinned-gist
- rescue-box
- rescuetime
- github-actions