psmt2-frontend

Parse and type-check SMT-LIB 2 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

libghc-prettyprinter-interp-prof

Efficient interpolation for Prettyprinter; profiling libraries

This package provides efficient interpolation of string-interpolate quasi quoters when used with prettyprinter.

libdnssec9

DNSSEC shared library from Knot DNS

Knot DNS is a fast, authoritative only, high performance, feature full and open source name server.

postgresql-15-pg-stat-kcache

PostgreSQL extension to gather per-query kernel statistics.

Statistics gathered are reads and writes done out of the operating system cache, user and system CPU usage, context switches and all the other meaningful metrics returned by getrusage(2). All those counters are aggregated per postgres role, database and normalized query identifier.

libdolfinx-complex0.8

Shared libraries for DOLFIN

DOLFIN is the Python and C++ interface of the FEniCS project for the automated solution of differential equations, providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms; automatic and efficient assembly of linear systems; and support for general families of finite elements.

libqt-color-widgets2

Qt widgets to manage color inputs

This is a color dialog that is more user-friendly than the default QColorDialog and several other color-related widgets