HurmaDB

PostgreSQL configurator for dCache or any other OLTP workloads

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Serverless Postgres for modern SaaS

embeddable cloud-native storage for events and time-series data

Build Postgres Extensions with Rust!

PostgreSQL Index Advisor

Archival and Restoration for databases in the Cloud

💩🚀 Windows 95 in Electron. Runs on macOS, Linux, and Windows.

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

A pygments lexer for PostgreSQL's `EXPLAIN ANALYZE` output

PostgreSQL extension that provides Brazilian specific data types, indexing, functions, casts and operators

Tracing tools for PostgreSQL, using eBPF

This extension provides cheat (but useful) functions on PostgreSQL.

Extension adding support for optimizer hints in PostgreSQL

GitHub Actions: Automatically assign pull request authors.

High Performance Embedded Key-Value Store

Java Driver for Apache Cassandra®

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Graphviz DOT rendering and animated transitions using D3

A collection of TLA⁺ specifications of varying complexities

APALACHE: symbolic model checker for TLA+ and Quint

PostgreSQL extension that implements non-Standard Time-based K-sorted, Lexicographically Unique Identifiers

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available…

PostgreSQL Benchmarking Toolset

A tool for tuning TimescaleDB for better performance by adjusting settings to match your system's CPU and memory resources.

A Crash Course on Data Compression.