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.