Repository Index

A Docker project template generator written in Rust

• docker
• boilerplate
• template
• oci

Install `Trunk` by downloading the executable

• trunk
• yew
• seed
• webassembly

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

Official Elastic Beanstalk repository for GlassFish docker files.

Expose AWS Cloudwatch Metrics as a public HTML page using AWS Lambda and server-side rendering

• aws
• aws-lambda
• aws-cloudwatch
• nodejs

TranslatedA real-time chat platform built with PocketBase and Vue3.

• pocketbase
• tanstack-query
• vue3
• tailwindcss

AWS CDK Constructs for PostgreSQL

Readiness probes for Kubernetes application

• go
• golang
• k8s
• kubernetes

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

Effortless APIs with CDK

• cdk
• api
• generator
• aws

DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.

• orchestration
• dependency-manager
• git-submodule
• cli

Go utility for loading configuration parameters from AWS SSM (Parameter Store)

• go
• aws-ssm
• configuration

Publish UMQTT messages with Micropython to AWS IoT

A developer CLI tool that manages .env files, detects secret leaks, syncs env drift across teammates, and validates environment parity between local/staging/prod all from your terminal. Written in Go.

• cli
• developer-tools
• devops
• dotenv

Consider it goformation for the serverless project

an AWS CDK construct for having passwordless authentication using Cognito userpool

• aws
• cognito
• passwordless
• serverless

Better AWS Lambda Handlers in Python

• aws
• aws-lambda
• python
• serverless

A wrapper for serverless handlers to prevent silly mistakes

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

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

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

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 production-grade messaging abstraction for Go. It provides a unified API to decouple business logic from various brokers including Kafka, RabbitMQ, RocketMQ, NATS, Redis, and AWS SQS. Featuring built-in OpenTelemetry integration and engineered for high reliability.

• go
• kafka
• message-broker
• opentelemetry

A GitHub Action that analyses a Pull Request and adds unit tests if necessary / possible