git-info-bar is a ksh, bash, gitbash, and Git shell plugin that endeavors to provide a fast and pronounced view of various git attributes when you are under the umbrella of a git repository. Its main feature, the 'info bar' (information bar), displays the following information: current branch (in 'red' if on master); current cksum (in 'red' if there are uncommitted changes, and an 'uncommitted changes' message in the message area); and stash count in the message area if you have stashes. It includes an install script and removal scripts. It is currently only tested in Bash, GitBash and ksh93. It was previously named 'bash-git', but the name has been transitioned to 'git-info-bar', as a long-term goal is cross-shell compatibility using a Perl back-end.
Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.
foo2hbpl is an open source printer driver for printers that use the HBPL version 2 wire protocol for their print data, such as the Dell 1355, Fuji Xerox DocuPrint CM205, or the Xerox WorkCentre 6015. These printers are often erroneously referred to as winprinters or GDI printers. However, Microsoft GDI only mandates the API between an application and the printer driver, not the protocol on the wire between the printer driver and the printer. In fact, HBPL printers are raster printers that happen to use a very efficient wire protocol. HBPL is just one of many wire protocols that are in use today, such as Postscript, PCL, Epson, ZjStream, etc. This driver uses Ghostscript to perform all of the heavy lifting (image processing). There are five major components to the foo2hbpl printer driver: foo2hbpl2 (the page image to protocol conversion engine of the driver); foo2hbpl2-wrapper (a shell script (compatible with foomatic) that runs ghostscript and foo2hbpl in a pipeline); icc2ps (converts an ICM color profile to a Postscript CRD, which is then fed into Ghostscript before the users Postscript program); foomatic-db (foomatic database entries that describe the supported printers and their options so that printer spoolers know how to access the printer using foo2hbpl2-wrapper); and hbpldecode (a tool for developers to inspect HBPL streams).