Generate production-ready Spring Boot backend boilerplate from a single YAML or JSON spec.
Repository Index
61,275 visible repositories in the index
409–432 of 471 · Most stars
tools for exporting godot projects via Github Actions
AWSDoor is a red team automation tool designed to simulate advanced attacker behavior in AWS environments
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
AWS environment config loader
- golang
- go
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Delphi client for Amazon Simple Email Service (AWS SES)
Cloud Resource Provisioning framework for IBM Storage Scale (or gpfs)
- spectrum-scale
- gpfs
- terraform
- hcl2
Ever wanted to run your own IP lookup service like canhazip.com? Don't want to resort to awful PHP? Powered by Cloudflare Workers (https://cloudflareworkers.com)
- ip
- ip-lookup
- cf
- cf-workers
Official asdf plugin for opentofu
- asdf-plugin
- opentofu
- tofu
- command-line
video packaging to *.m3u8 for HLS (HTTP Live Streaming) with FFMPEG on website (ruby on rails)
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
Cloud Foundry buildpack that provides NGINX
- v2b
Automate Meteor deployments on Google Cloud App Engine Flexible
- meteor
- deployment
- hosting
TUI for OpenTofu/Terraform provider registry
Open Source & Self-hosted Spotify release tracker. Auto-syncs new releases to playlists and includes power-user utilities like a discography generator and ghost track cleaner.
- automation
- django
- django-rest-framework
- docker
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
A GitHub Action to track code coverage in your pull requests, with a beautiful HTML preview, for free.
- coverage
- coverage-report
- go
- golang
A Lita handler for managing DigitalOcean services.
- ruby
- lita
- lita-handler
- digitalocean
Generic Golang Key/Value trait for AWS storage services
- aws-dynamodb
- golang
- key-value
- type-safe
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
The repository host gives no description.
GitHub action to setup an Ada/SPARK dev environment