cadical
Simplified Satisfiability Solver
CaDiCaL is a CDCL solver that is easy to understand and change, while at the
same time not being much slower than other state-of-the-art CDCL solvers.
libcairo2-ocaml
OCaml binding for Cairo (runtime library)
This is an OCaml binding to Cairo, a 2D graphics library with support for
multiple output devices. Currently supported output targets include
the X Window System, Quartz, Win32, image buffers, PostScript, PDF,
and SVG file output.
python3-pyqt6.qtsensors
Python bindings for Qt 6 Sensors module
Qt Sensors API provides access to sensor hardware via QML and C++ interfaces.
r-cran-gert
simple git client for GNU R
Simple git client for R based on 'libgit2' with support for SSH and
HTTPS remotes. All functions in 'gert' use basic R data types (such as vectors
and data-frames) for their arguments and return values. User credentials are
shared with command line 'git' through the git-credential store and ssh keys
stored on disk or ssh-agent.
lunar-date
Chinese Lunar library based on GObject - command and D-Bus
Lunar-date is a Chinese Lunar library based on GObject, which can
covert between Chinese lunar calendar and Gregorian calendar.
libmrpt-vision2.11t64
Mobile Robot Programming Toolkit - vision 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).