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).