hoichess
xboard compatible chess engine to play chess with
chess engine compatible with xboard, but may also be used
stand-alone, via terminal. Hoichess is written in C++ for
GNU/Linux systems, but should work on most other Unix like
systems. It provides also a xiangqi ("Chinese chess") playing
program.
holotz-castle-editor
platform game with high doses of mystery - level editor
This package contains the level editor for the Holotz's Castle game.
hol88-contrib-source
Higher Order Logic, user contributed source
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
libkf5package5
non-binary asset management framework
KPackage provides classes for applications to manage user installable packages
of non-binary assets.
libqt5positioningquick5
Qt Positioning module - Qt Quick module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
hmmer
profile hidden Markov models for protein sequence analysis
HMMER is an implementation of profile hidden Markov model methods for
sensitive searches of biological sequence databases using multiple sequence
alignments as queries.