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.
python3-pyqt6.qtsensors
Python bindings for Qt 6 Sensors module
Qt Sensors API provides access to sensor hardware via QML and C++ interfaces.
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).
elpa-pyim-basedict
default pinyin dict for pyim
pyim-basedict is the default lexicon of pyim input method, and the
lexicon data source is the libpinyin project.
elpa-pyim
Chinese input method support quanpin, shuangpin, wubi, cangjie and rime
pyim is a Chinese input method in the Emacs environment. The code of
pyim is derived from Emacs-eim, which development stopped after 2008.
Although the external input method is powerful, it can't cooperate
with Emacs tacitly, which greatly damages the feeling of Emacs.
fp-units-multimedia-3.2.2
Free Pascal - multimedia units
The Free Pascal Compiler is an Object Pascal compiler supporting both Delphi
and Turbo Pascal 7.0 dialects, as well as Mac Pascal dialects. It provides a
completely portable RunTime Library (RTL) available on many platforms and
compatible with Turbo Pascal, along with a platform-independent class-based
Free Component Library (FCL) adding many Delphi extensions and interfacing
with many popular open source libraries.