Production PostgreSQL for Kubernetes, from high availability Postgres clusters to full-scale database-as-a-service.

Examples for deploying applications with PGO, the Postgres Operator from Crunchy Data

The Z3 Theorem Prover

Keycloak Authentication Provider implementation for Webauthn with Conditional Mediation (Passkey autofill)

Advanced Kubernetes YAML configs - Best Practices, Tips & Tricks from production environments. AWS, GCP, Azure, ArgoCD, GKE, EKS, AKS, Nginx, Traefik, Kong, Cert Manager, CI/CD, Jenkins, Artifactor…

A performant and ergonomic implementation of binary decision diagrams for .NET

Demo GitHub Actions setup for react projects that uses keycloakify

A template project for Keycloak Customizations

An example development environment setup to build Keycloak themes

A Go library for the Hetzner Cloud API

Use this addin to gain access to the backing field of auto properties

Eclipse-based IDE for product modeling for the SAP Variant Configurator