An Eclipse Vert.x verticle to boot an application from HOCON configuration.
- vertx
- hocon
- reactive
- microservice
Repository Index
47,133 repositories indexed
529–552 of 682 · Most stars
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang
- 2pc
- 3pc
- distributed-systems
- two-phase-commit
.NET (C#) Client Library for Docker Registry API V2
A Dockerfile generator for running OpenGL (GLX) applications with nvidia-docker2, CUDA, ROS, and Gazebo on a remote headless server system by using VirtualGL&VNC and Lubuntu Desktop
A framework for keeping biomedical text mining result up-to-date
- bionlp
- text-mining
- infrastructure
- python
Lightweight, self hosted platform for building webhooks, scheduled tasks and pages. Implement your logic with Bash, Lua or mRuby
- automation
- bash
- devops
- golang
reCAPTCHA v3 Cloudflare Worker
- cloudflare-workers
- cloudflare-worker
- cloudflare
- recaptcha
Provision and bind IBM Cloud services to your Kubernetes cluster in a Kubernetes-native way
- operator
- kubernetes
- ibm
- cloud-service
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]
Kubex is the kubernetes integration for Elixir projects and it is written in pure Elixir.
Generate production-ready Spring Boot backend boilerplate from a single YAML or JSON spec.
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
tools for exporting godot projects via Github Actions
Instantly deploy your Meteor apps with `meteor-hero`
- meteor
- heroku
- meteor-application
- docker
AWSDoor is a red team automation tool designed to simulate advanced attacker behavior in AWS environments
Store history data in InfluxDB (not for Windows)
- influxdb
- time-series
- iobroker
- storage
Install `Trunk` by downloading the executable
- trunk
- yew
- seed
- webassembly
A Kustomize generator plugin to generate Open Cluster Management policies
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
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework