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.

libsimdjson14

Parsing gigabytes of JSON per second (shared object)

JSON is everywhere on the Internet. Servers spend a *lot* of time parsing it. We need a fresh approach. The simdjson library uses commonly available SIMD instructions and microparallel algorithms to parse JSON 4x faster than RapidJSON and 25x faster than JSON for Modern C++.

libzydis4.0

fast and lightweight x86/x86-64 disassembler library

Zydis is a fast x86/x86-64 disassembler library. It supports all x86 and AMD64 instructions and many vendor extensions, doesn't perform dynamic memory allocations, is thread safe by design and has no third party dependency - not even libc.