hnb
hierarchical notebook
Hnb is an ncurses program to organize many kinds of data in one place, for
example addresses, todo lists, ideas, book reviews or to store snippets of
brainstorming, to make a structured packing list or just to take random notes.
It can export ascii, html and xml, supports todo checkboxes, checkbox trees
with percentages, priorities, preferences, searching and more.
qtmir
Qt platform abstraction (QPA) plugin for a Mir server
QtMir is a set of Qt5 components to enable one to write a Mir server with Qt.
It contains a QPA (Qt Platform Abstraction) plugin which creates and manages
a Mir server. It also exposes some internal Mir functionality.
hol88-contrib-help
Higher Order Logic, user contributed online help files
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.
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.