Repository Index

This Amazon SQS Java Messaging Library holds the Java Message Service compatible classes, that are used for communicating with Amazon Simple Queue Service.

• amazon-sqs
• sqs
• jms
• jms-queue

A community AWS SDK for Perl Programmers

• perl
• aws
• sdk
• aws-sdk

Containers backed by std.experimental.allocator

• d
• containers
• data-structures
• double-linked-list

ECS Task Kite - A simple ambassador container for inter-task communication on ECS - http://aws.amazon.com/ecs/

Community curated list of System and Network policy templates for the KubeArmor and Cilium

• runtime-security
• kubearmor
• cilium
• system-policy

Github action for dlang compiler setup

Access GoogleCloud APIs using Vapor

• vapor-service
• vapor-3
• swift
• google-cloud

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq

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

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

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

This repository contains a script to handle the auto creation of a Docker Asset Image for a given Sitecore module

• sitecore
• sitecore-module
• sitecore-10
• sitecore-docker

Antsichaut aims to automate the filling of a changelog.yaml used by antsibull-changelog