Freeware: Makefile

Speedy Make 1.3Replaces make by the simplest parser and its Makefile format by a portable XML document. Some predefined actions are sufficient to give tasks to the interpreter and turn XML into commands to process.

UnRAR Sourcecode 3.7.8Portable UnRAR source for software developers. This package includes freeware Unrar C++ source and a few makefiles ( Makefile .bcc, Makefile .msc+msc.dep, Makefile .unix).

EzInstall 7.3EzInstall allows you to easily create a self-extracting installer and de-installer. Automatic short-cut generation, cut-and paste disclaimer (or message), file-compression, versioned directory structure, and a creation report is included.

JextJext is a powerful java text editor released under GPL.

Coq 8.0\Formal proof management system for mathematics. Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine.