Aiming Higher

HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a...

Bonddb is a object oriented wrapper for postgresql SQL. bonddb project is a fast data abstraction layer written in C for C/C++ applications to allow easy access to class objects. Bonddb is not a stand alone object orientated database, but works on top of SQL so you still get a solid proven...

Dropline GNOME is a version of the GNOME Desktop that has been tweaked for Slackware Linux systems. It is available in Slackware's standard .tgz package format and requires Slackware 11.0 or higher.


Platforms: *nix

plus4emu is an open source, portable emulator of the Commodore 264 family of computers (C16, C116, and Plus/4), written in C++, and supporting Windows and POSIX platforms (32 bit Windows, 32 and 64 bit Linux, and MacOS X have been tested). It implements accurate, high quality hardware emulation,...


Platforms: *nix

uPortal is a free, sharable portal under development by institutions of higher-education. This group sees an institutional portal as an abridged and customized version of the institutional Web presence... a "pocket-sized" version of the campus Web. Portal technology adds "customization" and...


Platforms: *nix

Tasty Menu project is a KMenu replacement aiming to provide the maximum usability, or at least to be a testbed for usability concepts and ideas for a future kmenu replacement. The left part of the menu is very similar to the Novell idea (http://www.novell.com/products/desktop/preview.html): you...


Platforms: *nix

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

HTMLDOC converts HTML files and web pages into indexed HTML, PostScript, and PDF files suitable for on-line viewing and printing. HTMLDOC can be used as a standalone GUI application and in a batch document processing environment and also as a web-based report generation application or even in...


Platforms: *nix

Lasso is a free software C library aiming to implement the Liberty Alliance standards; Lasso defines processes for federated identities, single sign-on and related protocols. Lasso is built on top of libxml2, XMLSec and OpenSSL and is licensed under the GNU General Public License (with an...


Platforms: *nix

Reciprocal Link Pro software is a fast, powerful, easy-to-use PHP/MySQL reciprocal link exchange web application that will help increase your websites search engine popularity by increasing the number of quality back links, resulting in getting a higher Google PageRank and more targeted traffic!...


Platforms: *nix

Unimaginatively-named Calendar project began out of frustration with other web-based calendar tools inability to display a readable calendar format. Unimaginatively-named Calendar was very much a project to "scratch an itch" -- to meet an immediate need that the author had. Since then, it has...


Platforms: *nix

Amiga Research Operating System (AROS) is a portable and free desktop operating system aiming at being compatible with AmigaOS 3.1, while improving on it in many areas. The source code is available under an open source license, which allows anyone to freely improve upon it. Goals The goals of...


Platforms: *nix

Yoper is a high performance operating system which has been carefully optimized for PCs with either i686 or higher processor types. The binaries that come with Yoper have been built from scratch using the original sources combined with the some of the best features from other Open Source Linux...


Platforms: *nix

Illustrated project is aiming to provide a way to share picture and photos in a structured way. Therefore just like most other web galleries, a title and a description can be added to each photo. But pictures can also be presented as groups within chapters, where they illustrate the text. I...


Platforms: *nix

Yahoo! Contacts Delphi Component is a non-visual component that allows you to work with Yahoo! Contacts using Delphi. The component supports Delphi 7 and higher and works directly using official Yahoo! Contacts API. Official API use guarantees maximum compatibility and fewest possible...


Platforms: Windows

Listening Singing Teacher helps you to sing in tune and in rhythm. The visual feedbacks for pitch, beat and loudness allow you to train your 'mental ear' by aiming the pitch in your head and adjusting your voice to produce the correct pitch. The replay possibility lets you hear yourself and...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Retrieve file-level passwords for MS Word. This software will get the password required when you first open a Word document. Word 2000 or higher required.


Platforms: Windows

Convert PPTX files to PPT files. PPTX files are associated with MS PowerPoint 2007 and higher. PPT files are associated with MS PowerPoint 2003 and lower. MS PowerPoint 2007 or higher required to use this software.


Platforms: Windows

OraTau PLD Plug-in is Allround Automations PL/SQL Developer plugin. The plugin aims to higher simplification and increase of productivity and comfort while working with RDBMS Oracle via PL/SQL Developer. Key features: - "OraTau Logon" offers an alternative way to view user list available...


Platforms: Windows

This software offers a solution for people who want to create custom project to list in MS Excel. The list can be easily edited and customized within Excel to achieve your desired result. Excel 2000 or higher required.


Platforms: Windows