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.