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.
platform game with high doses of mystery - level editor

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.
profile hidden Markov models for protein sequence analysis

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.