HASAS (HydroAcoustic Signal Analysis System) is a modular system for passive sonar signal analysis. It can be used for biological research or surveillance, for example. The soundcard is used as input device, and it currently includes all the very basic functionality; beamformed audio, direction finding, level histogram, LOFAR/DEMON (narrowband spectrogram), wideband spectrogram, and raw audio.
HDLmaker generates hierarchical Verilog and VHDL code, PCB netlists, simulation and synthesis scripts/projects/make files, and schematics. It can translate Verilog/VHDL and HDLmaker projects into HTML, including extensive hyperlinking between the modules. It can also translate PADS PCB netlists into Verilog and VHDL and can do some simple VHDL to Verilog translations. HDLMaker synplifies the development of complex FPGAs and ASICs, and has extensive support for most Xilinx FPGAs.
Hodie prints the current date and time to stdout in Roman numerals, with grammatically correct Latin. Complete with Id., Kal., Non., pridie, postridie, bis, and all the other nice annoyances. As an option, it even provides you with current date according to Roman calendar -- that is 'ab urbe condita'; after Rome was built.
hp2xx is a versatile tool to convert vector-oriented graphics data given in Hewlett-Packard's HP-GL (a.k.a. HPGL) plotter language into a variety of popular both vector- and raster-oriented graphics formats. The various supported output formats include Encapsulated PostScript (EPS), PCX, IMG, and several formats intended to facilitate the generation of graphics within TeX documents. In addition, hp2xx output is printable on the HP Laserjet/Deskjet printer series, and it may be used as a HP-GL previewer on many platforms, e.g. X11 and DOS (VGA).
IBM OpenDX, the successor to IBM Visualization Data Explorer, (known simply as DX) is a general-purpose software package for data visualization and analysis. It employs a data-flow driven client-server execution model and provides a graphical program editor that allows the user to create a visualization using a point and click interface. Applications can also be built on top of portions of the Data Explorer system, so that custom, turnkey applications can be easily developed using DX as the computational and rendering engine.
imaverage uses the viewing frequency and viewing time from a spawned image viewer to build a dynamic database entry for images to gauge their relative preference for a given user. Once the entries have been created, imaverage will continue to show images randomly, with dynamic preference weights. On average, your favorite images should show up most frequently.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).