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.
msmtp is an SMTP client with a sendmail compatible interface. It can be used with Mutt and other MUAs. It forwards messages to an SMTP server which does the delivery. Features include various SMTP AUTH methods, TLS/SSL-encrypted connections (including support for client certificates), support for multiple accounts, DSN, and IPv6 support.
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.
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.
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.
X-Cart is a PHP shopping cart software used by tens thousands on-line merchants worldwide. It provides a wide range of e-commerce features, flexible "tableless" design, easy text content modification using WYSIWYG tools, W3C XHTML 1.0 compliance, SEO friendly product catalog, Web-based administration, on-line payment gateways support, real-time shipping cost estimation based on product dimensions, inventory management, full multi-language support, and report management. X-Cart has no logical limitations on the number of products and categories in product catalog.
oXygen is an XML editor that supports any XML document, and works with XML Schemas, DTDs, Relax NG schemas, and NRL Schemas. It has powerful transformation support that allows you to edit XSLT and XSL-FO documents and to obtain documents in the desired output format (such as HTML, PS, or PDF) with just one click. It also includes a complete Subversion client, support for flattening XML Schemata, an XML Schema instance generator, integration with the X-Hive/DB, MarkLogic and TigerLogic XML databases, editing actions on the diagram, and a rename refactoring action.