An ArgoCD UI extension that lets teams book (lock) applications for exclusive use, preventing concurrent deployment conflicts in shared environments. When an application is booked, a prominent ...

Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...

This repository serves as a template for creating Gameyfin plugins. It includes the necessary structure and files to help you get started quickly. For further information on how to develop Gameyfin ...