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
193–216 of 227 · Most stars
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Official Elastic Beanstalk repository for GlassFish docker files.
A JMeter plug-in that enables you to send test results to a Kafka server
Simple and flexible dependency injection container for dart.
Official asdf plugin for opentofu
- asdf-plugin
- opentofu
- tofu
- command-line
Unofficial AWS SDK for Common Lisp
- aws
- aws-sdk
- common-lisp
The tested, tool-agnostic AGENTS.md kit — verified templates, a CI linter, and migrators from .cursorrules/CLAUDE.md/Copilot/Windsurf/Cline/Aider.
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
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
Github action to run linters on ROS 2 packages
A GitHub Action to install and initialize IPFS
- ipfs
- ipfs-setup
- ipfs-installation
- github-actions
A full bash based k0s Cilium Clustermesh enabled playground
Highly opionated Github Actions workflow builder for Common Lisp projects.
- common-lisp
- ci
- github-actions
A github action to easily build your Substrate WASM runtime using srtool with your CI
This CDK Construct helps create IAM Managed Policies and IAM Roles using JSON Configuration
Gemini CLI wrapped as a Docker image, so you don't need to trash your OS with Node and it's dependencies.
Static analysis from configs → Kubernetes NetworkPolicies in seconds
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
The smallest binary size of template engine, born for docker image
- docker
- template-engine
- command-line-tool
- template
Showcase your Telegram channels, groups, and bots with beautiful, dynamic preview cards. Perfect for GitHub profiles and portfolios. ✨
- developer-tool
- nextjs
- profile-badge
- profile-readme
A GitHub Action that automatically updates Quarto extensions in your repository, similar to how Dependabot manages dependencies.
- dependabot
- github-actions
- quarto
- quarto-extension
run all your test against a GitHub Pull request
- jenkins
- octokit
- ruby
- auto
Unofficial PockerBase Docker images