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.