Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Repository Index
47,133 repositories indexed
1,177–1,200 of 1,321 · Most stars
Dynatomic is a library for using dynamodb as an atomic counter
- golang
- dynamodb
- atomic
- counter
YAML-based Dependency Injection container for GO
- dependency-injection
- dependency-injection-container
- go
- golang
Better AWS Lambda Handlers in Python
- aws
- aws-lambda
- python
- serverless
Micropython code which uses the AWS-IOT REST API to GET/POST device state info
A Python package for automating VideoIPath configuration workflows.
- videoipath
- media-over-ip
- python
- configuration-management
Static analysis from configs → Kubernetes NetworkPolicies in seconds
A wrapper for serverless handlers to prevent silly mistakes
UI and token based authentication server for onpremise docker registry
Output metrics from K6 to AWS Timestream
- k6
- k6-extension
- k6-output
- timestream
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
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
Chef rethinkdb cookbook
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 solution for the rapid configuration & deployment of AntelopeIO infrastructure.
AWS CDK Constructs to create SES templates and send templated emails
The Coherence Go Client allows native Go applications to act as cache clients to a Coherence cluster using gRPC for the network transport.
- coherence
- coherence-ce
- golang
- grpc
🎮 Update your pinned gist to show HoYoverse gameplay stats
- genshin-impact
- github-actions
- honkai-starrail
- hoyolab
Define and deploy CDK applications using Java and Maven
BBC reference implementation demonstrating AMWA IS-04, IS-05 and IS-10
- rd-project
- rd-section-apmm
- rd-stability-green
Docker microservice for saving/restoring volume data to S3