libcvc5parser1

automated theorem prover for SMT problems (parser runtime)

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.

unison-2.51+4.13.1

file-synchronization tool for Unix and Windows

Unison is a file-synchronization tool for Unix and Windows, written in OCaml. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

libcppdb-odbc0t64

SQL Connectivity Library (odbc backend)

CppDB is an SQL connectivity library that is designed to provide platform and Database independent connectivity API similarly to what JDBC, ODBC and other connectivity libraries do.

node-vega-embed

Node.js library to easily embed vega views

node-vega-embed makes it easy to embed interactive node-vega and node-vega-lite views into web pages. With node-vega-embed, it is possible to: * Load Vega/Vega-Lite specs from source text, parsed JSON, or URLs * Patch Vega specsto add additional functionality * Add action links such as "View Source" and "Open in Vega Editor" * Include Vega Tooltip

libmrpt-maps2.4

Mobile Robot Programming Toolkit - maps library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

libglobus-xio0t64

Grid Community Toolkit - Globus XIO Framework

The Grid Community Toolkit (GCT) is an open source software toolkit used for building grid systems and applications. It is a fork of the Globus Toolkit originally created by the Globus Alliance. It is supported by the Grid Community Forum (GridCF) that provides community-based support for core software packages in grid computing.