Pre Calculus

ocl4java project lets you add special Java 5 annotations containing OCL expressions with pre and post conditions and invariants to your code, and have source code to check them inserted automatically either by ant or eclipse. Upon failing an assertion, an AssertionError, exception, log message,...

Text::MacroScript is a macro pre-processor with embedded perl capability. SYNOPSIS use Text::MacroScript ; # new() for macro processing my $Macro = Text::MacroScript->new ; while( <> ) { print $Macro->expand( $_ ) if $_ ; } # Canonical use (the filename improves error messages): my...

MyBook World Edition Packages project collection provides pre-compiled packages for hacking Western Digital MyBook World Edition, to improve performance and add new features. At least intermediate Linux experience is required for playing with MyBook. Please, if you do not meet this requirement,...


Platforms: *nix

ASCIIweb is a text-to-HTML formatting system that uses the pre tag to create ASCII art Web pages, either on-the-fly or for static retrieval. Installing ASCIIweb is a snap. Simply download the tarball and unpack it in a directory that is web-accessible. Next, configure your web browser to allow...


Platforms: *nix

GIS-Knoppix is a bootable Linux CD with pre-installed GIS software. It is based on Knoppix..


Platforms: *nix

Pod::PP is a POD pre-processor. SYNOPSIS # normally used via the podpp script require Pod::PP; my $pp = Pod::PP->make( -incpath => [h, h/sys], -symbols => { DIR => "/var/www", TMPDIR => "/var/tmp" }, ); $pp->parse_from_filehandle(*STDIN); $pp->parse_from_file("file.pp"); The...


Platforms: *nix

RMoX is an experimental/research occam-pi/CSP based operating-system for (currently) Pentium based PCs. CSP provides a solid foundation for describing and reasoning about parallel systems and their interactions. The occam-pi language is an enhanced version of occam (based on CSP), that adds...


Platforms: *nix

CGI++ is a C++ macro pre-processor that facilitates development of CGI/Database applications in C++. It will also process your HTML and generate form parsing classes with appropriate constructors. Many desirable features are yet to be implemented, but you can use what is already available to...


Platforms: *nix

Swiftweasel project is an optimized build of the Mozilla Firefox web browser for Linux. With builds for both AMD and Intel processors. Swiftweasel is 100% compatible with all Firefox themes, plugins, and extensions. The builds will also fall into 3 versions. 1. Releases - Releases are based...


Platforms: *nix

Instant-Grid is a live-CD based on Knoppix bundled with a pre-configured grid environment based on the Globus Toolkit. One PC started from this CD becomes the Instant-Grid frontend. It also functions as a PXE boot-server, allowing other PCs in the same local network to boot the Instant-Grid...


Platforms: *nix

GeoGebra project is a dynamic mathematics software that joins geometry, algebra, and calculus. Two views are characteristic of GeoGebra: an expression in the algebra window corresponds to an object in the geometry window and vice versa. GeoGebra - Dynamic Mathematics for Schools


Platforms: *nix

Four Variables is a pre-algebra investigation for students in grades five through nine. The program secretly assigns values to four variables (w, x, y, and z) and the student must find these values by requesting the computer to perform operations with the variables. For example: the student might...


Platforms: Mac

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. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...


Platforms: Mac

Login Logout Tasks enables you to automatically run some pre-defined actions at login and/or logout time.The Mac OS already provides for each user a way to start application at login time in Login items found in the Accounts system preference. This solution works fine if you have the right...


Platforms: Mac

HLP Free PC Cleaner finding and removing common junk files that accumulate over time. It comes pre-configured with 20 types of file extension that can usually be considered disposable, and you can extend the range by adding your own file types. It also cleans traces of your online activities such...


Platforms: Windows, Windows 8, Windows 7

R-Updater is a very useful tool to keep your installed programs up-to-date. Upon installation R-Updater creates a list of installed programs and checks on a pre-scheduled time if there are new program versions available. When it detects a new version, it notifies the user that it is time to...


Platforms: Windows

Sell Stock Photos. Free RSS reader for stock photographers, pre set with stock photography business feeds from Global Eye Images. Including stock photography news & updates, realtime photographer updates and more. Global Eye is a new face for the original direct-contact stock photography library,...


Platforms: Windows

Sell your ipad used or broken! Sell a used iPad, iPhone, Smartphone, Blackberry, Apple, iPod. Cash For iPads buys used or broken ipads for cash. Whether your ipad is working or not, we'll buy it. All shipping and packaging is pre-paid and free. Sell electronic devices today, top cash paid!


Platforms: OS/2, Windows, Mac, *nix, Palm OS, Windows CE, Pocket PC, Other,Android,BlackBerry,iPhone,iPod,iTouch,Palm,Palm OS 6.0,Not Applicable,Handheld/Mobile Other,Java

5-band EQ plugin to correct guitar AFC before processing.


Platforms: Windows

GemRB, also known as Game engine made with pre-Rendered Background is designed to be a portable Open-Source implementation of Bioware's Infinity Engine. The application was written to support pseudo-3D role playing games based on the Dungeons & Dragons ruleset (Baldur's Gate and Icewind Dale...


Platforms: Windows