Repository Index

GitHub action to setup an Ada/SPARK dev environment

⏰ Update a pinned gist to contain your Daily RescueTime Stats

• pinned-gist
• rescue-box
• rescuetime
• github-actions

Translate docker run and docker compose file to Infrastructure as Code

• aws
• deploystack
• digitalocean
• docker

Swarm Management is a python application, installed with pip. The application makes it easy to manage a Docker Swarm by configuring a single *.yml file describing which stacks to deploy, and which networks, configs or secrets to create.

• docker
• deployment
• containers
• docker-swarm

Github action to run linters on ROS 2 packages

• ros2
• ci
• colcon
• linter

Docker configs and build scripts.

A GitHub Action to install and initialize IPFS

• ipfs
• ipfs-setup
• ipfs-installation
• github-actions

Create CDK Apps from Templates

• cdk
• create-app
• aws
• templates

AWS CDK SQS Construct with alarms and dead letter queue

an AWS CDK construct for having passwordless authentication using Cognito userpool

• aws
• cognito
• passwordless
• serverless

This CDK Construct helps create IAM Managed Policies and IAM Roles using JSON Configuration

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

• coq
• mustache-templates
• continuous-integration

Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.

• ai
• anthropic
• automation
• claude

A wrapper for serverless handlers to prevent silly mistakes

UI and token based authentication server for onpremise docker registry

AWS CDK Construct libraries

Update a pinned gist to show your LeetCode stats.

• pinned-gist
• leetcode
• github-actions
• github

A script to automate the creation of cloud infrastructure for hash cracking.

• redteam-infrastructure
• redteaming
• pentest-tool
• password-cracker

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

AWS CDK Constructs to create SES templates and send templated emails

Docker microservice for saving/restoring volume data to S3

A GitHub Action that automatically updates Quarto extensions in your repository, similar to how Dependabot manages dependencies.

• dependabot
• github-actions
• quarto
• quarto-extension

Upload files directly to AWS S3, Google Cloud Storage and others in meteor

Javascript lib for gantree-cli