libjst-config-ocaml

compile-time configuration for Jane Street packages (runtime files)

This package provides compile-time configuration for a number of Jane Street packages, and should probably only be used by them.

mariadb-server

MariaDB database server binaries

MariaDB is a fast, stable and true multi-user, multi-threaded SQL database server. SQL (Structured Query Language) is the most popular database query language in the world. The main goals of MariaDB are speed, robustness and ease of use.

postgresql-16-tablelog

log changes on tables and restore tables to point in time

table_log is a PostgreSQL extension with a set of functions to log changes on a table and to restore the state of the table or a specific row on any time in the past.

telepathy-ofono-on-ring-ril-mc-plugin

telepathy oFono on-ring mission control plugin for ril modems

telepathy-ofono is a Telepathy connection manager that makes it possible for Telepathy clients to communicate using oFono modems, enabling features like real phone calls and send and receive SMSs.

python3-unicrypto

Unified interface for cryptographic libraries

Unicrypto is a library that provides a unified interface to a variety of cryptographic algorithms. With it, developers can easily integrate encryption into their applications, ensuring the security of data and communications.

libbrial-groebner3t64

computer algebra routines of BRiAl

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.