TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Data Plane Development Kit

Vitess for Postgres

App that shows how full the International Space Station's urine tank is in real time, available for macOS (menu bar), iOS, watchOS and visionOS

An Open Source alternative to the Greenplum® Database

This repository contains branches that are automatically constructed from patches sent to the PostgreSQL hackers mailing list, and registered at https://commitfest.postgresql.org. Its purpose is to…

An extension with alternative to COUNT(DISTINCT ...) aggregate in PostgreSQL.

Real-time analytics on Postgres tables

A potentia Ad Actum ★ Fullfast transactional key-value memory-mapped B-Tree storage engine without WAL ★ Surpasses the legendary LMDB in terms of reliability, features and performance

Adaptive query optimization for PostgreSQL

Unofficial mirror of sourceware glibc repository. Updated daily.

Extension adding support for optimizer hints in PostgreSQL

Greenplum extension to collect statistics on the distribution of memory occupied by tables and files on segment hosts.

Greenplum extension to collect stats on table operations

Lightweight C-framework for memory allocation statistics.

IVM (Incremental View Maintenance) development for PostgreSQL

A few scripts related to PostgreSQL development

One advanced and mature open-source MPP (Massively Parallel Processing) database. Open source alternative to Greenplum Database.

RUM access method - inverted index with additional information in posting lists

Library for interacting with LLVM IR in pure Go.

Raft library for maintaining a replicated state machine

open-gpdb - opensource fork of greenplum database

A PostgreSQL extension for automatic bloat cleanup

Yet another pg_stat_plans

The automatic DBMS configuration tool

Manage backups created by gpbackup on Greenplum clusters.

JSON output plugin for changeset extraction