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