GitHub repository: paradedb/third-party-pg_extensions
Description: ParadeDB's "package manager" of third-party PostgreSQL extensions