HEALPix is a set of scientific tools implementing the Hierarchical Equal Area isoLatitude Pixelation of the sphere. As suggested in the name, this pixelation produces a subdivision of a spherical surface in which every single pixel covers the same surface area. HEALPix provides various programs and libraries in C, C++, Fortran, GDL/IDL, Java, and Python which facilitate discretization, simulation, processing, analysis, and visualization of data on the sphere up to very high resolution. It is the state-of-the-art program used in astronomy and cosmology to deal with massive full-sky data sets.
HLA Adventure is an adventure game that was written in Randy Hyde's HLA language. It features Mippy, a cute dragon that lives happily in the forests and caves and often comes out during the later part of the day to eat leaves, smoulder decaying trees, and generally romp around like every good dragon should.
The HLA Standard Library was developed to support the High Level Assembler (HLA), but could be used with other assemblers or higher-level languages if the necessary headers were developed. It supports 32-bit versions of Windows, Linux, Mac OS X, and FreeBSD, and is written entirely in HLA. It includes the following modules: args, arrays, bits, chars, console, conversions, cset, date, environment, exceptions, file class, file I/O, filesys, lists, math, memory-mapped files, patterns, RNG, stderr, stdin, stdout, strings, tables, time, timer, zstrings, sockets, threads, and blob. An automated test suite is included.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
HOPSPACK solves derivative-free optimization problems in a C++ software framework. The framework enables parallel operation using MPI (for distributed machine architectures) and multithreading (for single machines with multiple processors or cores). Optimization problems can be very general: functions can be noisy, nonsmooth, and nonconvex, linear and nonlinear constraints are supported, and variables may be continuous or integer-valued.