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.
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.
MatrixSSL is an embedded SSL and TLS implementation designed for small footprint devices and applications requiring low overhead per connection. The library is less than 50K on disk with cipher suites. It includes SSL and TLS client and server support, session resumption, and implementations of RSA, AES, 3DES, ARC4, SHA1, and MD5. The source is well documented and contains portability layers for additional operating systems, cipher suites, and cryptography providers.
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.
Mup produces very high quality PostScript printed music or a MIDI file from a text input file. It can handle almost any kind of music, instrumental or vocal, including tablature, shaped notes, guitar grids, alternate tunings, user-defined symbols, and much more. Mup has been under active development since 1992.
Feed4JUnit makes it easy to write parameterized tests for the JUnit framework and feed them with predefined or randomly generated test data: test case data can be read from Excel or CSV files, databases, or custom data sources, and equivalence class tests can be defined easily. Setup is based on Java annotations and is easy to learn, apply, and maintain. Annotations defined in the "Bean Validation" JSR 303, Java 7, and Benerator are automatically recognized and generated smoke test data will match the constraints. By connecting to Benerator, you can configure generation of complex valid and invalid data sets.
Asbru Web Content Management is an easy-to-use and inexpensive Web content management system. It runs on most major Web platform operating systems, databases, Web servers, and scripting languages. It is available in three editions: Personal (for individuals), Professional (for organizations), and Hosting (for Web hosting service providers).