hierarchical notebook

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