Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
HTTrack is an easy-to-use offline browser utility. It allows you to download a Web site from the Internet to a local directory, building recursively all directories, getting HTML, images, and other files from the server to your computer. HTTrack arranges the original site's relative link-structure. Simply open a page of the mirrored Web site in your browser, and you can browse the site from link to link, as if you were viewing it online. HTTrack can also update an existing mirrored site, and resume interrupted downloads. WebHTTrack is a Web-based GUI for HTTrack.
Permission Record Information Machine (PRIM) delivers database connectivity via a web browser. Users can have different database permissions (e.g. create tables, modify tables, etc.). PRIM has built-in database analytical tools such as graph displays, reporting, etc. English and Chinese (Big5) language support.
jGRASP integrates the Control Structure Diagram (CSD) seamlessly and unobtrusively into source-code editing for Java, C, C++, Objective-C, Ada, and VHDL. The CSD is a control flow and data structure diagram that fits into the space normally taken by indentation in source code. Its intention is to improve the readability of source code. The CSD also enables source code folding in a meaningful way, based on code structures. jGRASP provides lots of editing features, an integrated Java debugger, UML dependency diagrams for Java, configurable colors and font size, and click-to-error for compile and runtime (Java stack dumps) errors.
Image Alchemy has the ability to convert between over 90 different raster image formats (including all colorspace and compression variations of each format). Color management features include gamma correction, undercolour removal, seven high quality dithers, colorspace conversion, and palette manipulation. It also includes a Postscript interpreter.
SOFEA is a Matlab object-oriented Finite Element toolkit. It includes the book, A Pragmatic Introduction to Finite Element Analysis for Structural Engineers. The toolkit provides linear transient thermal analysis capabilities, with stress analysis and coupled multi-physics coming shortly.
smake is a highly portable 'make' program that makes commands up to date based on rules in Makefiles and on the timestamps of the related files. It implements a complete superset of the features of the classical POSIX/Unix make program. It warns about typical misuse of dynamic macros that prevent portability of makefiles. Its automake features allow you to run scripts to automatically create rules for unknown platforms.