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
Connects Node RED with Docker daemon
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Mix task to create mix projects that builds into Docker containers.
- elixir
- elixir-lang
- mix
- hex
Cloud Resource Provisioning framework for IBM Storage Scale (or gpfs)
Self-hosted manga collection manager with automatic metadata, MyAnimeList import, Docker support, and detailed collection statistics.
Simple and flexible dependency injection container for dart.
GitHub Action to Setup Common Lisp tools
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
Patient API is a PoC project using Golang, Chi, PostrgreSQL among Docker and Docker compose. Exposing REST API endpoints.
A configuration object for Enyim's MemcachedClient that enables the use of Amazon ElastiCache's Auto Discovery feature
CDK construct that sets up email alerts for AWS monthly bill
- aws-billing
- cdk-construct
- aws-cdk
- aws-cloudwatch
AWS CDK Constructs for PostgreSQL
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.
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.
A curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
Detect whether a site is running behind Cloudflare.
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
The repository host gives no description.
DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.
GitHub action to setup an Ada/SPARK dev environment
⏰ Update a pinned gist to contain your Daily RescueTime Stats