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.

Freeware
Download
293.0 KB

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

Freeware
Download
128.0 KB

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.

Freeware
Download
904.0 KB
Download Jext

JextJext is a powerful java text editor released under GPL.

Freeware
Download
0
Download Coq 8.0

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.

Freeware
Download
11.2 MB