python3-pulsectl
high-level interface and ctypes-based bindings for PulseAudio
Python blocking high-level interface and ctypes-based bindings for PulseAudio
(libpulse), to use in a simple synchronous code.
python3-cvc5
automated theorem prover for SMT problems (Python bindings)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
libdolfinx-complex0.5
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.
libdolfinx-real0.5
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.
openswitcher
Control application for Blackmagic Design ATEM video switchers
Open Switcher is a control application for the Blackmagic Design ATEM video
switchers. These are normally controlled with the propriatary Windows or Osx
application over a network connection. In some cases it's also possible to
control these switchers using hardware buttons but that doesn't expose the full
functionality of these mixers.
google-android-ndk-r20-installer
Google's NDK (Side by side) 20.0.5594570 Installer
This package will download the Google's NDK (Side by side) 20.0.5594570
package and unpacks it into Debian-friendly paths.