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.

libboost-context1.88.0

provides a sort of cooperative multitasking on a single thread

This package forms part of the Boost C++ Libraries collection.

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.