libghc-copilot-theorem-prof

k-induction for Copilot.; profiling libraries

Some tools to prove properties on Copilot programs with k-induction model checking.

seek-bzip

Command line interface for random-access decoding bzip2 data

Command line interface for decoding buffers into other buffers, synchronously. With the help of the fibers package, it can operate on node streams.

postgresql-doc-16

documentation for the PostgreSQL database management system

This package contains all README files, user manual, and examples for PostgreSQL 16. The manual is in HTML format.

postgresql-15

The World's Most Advanced Open Source Relational Database

PostgreSQL, also known as Postgres, is a free and open-source relational database management system (RDBMS) emphasizing extensibility and SQL compliance. It features transactions with Atomicity, Consistency, Isolation, Durability (ACID) properties, automatically updatable views, materialized views, triggers, foreign keys, and stored procedures. It is designed to handle a range of workloads, from single machines to data warehouses or Web services with many concurrent users.

postgresql-client-15

front-end programs for PostgreSQL 15

This package contains client and administrative programs for PostgreSQL: these are the interactive terminal client psql and programs for creating and removing users and databases.

postgresql-plpython3-15

PL/Python 3 procedural language for PostgreSQL 15

PL/Python 3 enables an SQL developer to write procedural language functions for PostgreSQL 15 in Python 3. You need this package if you have any PostgreSQL 15 functions that use the languages plpython3 or plpython3u.