Pre Calculus

Sub::Assert - Design-by-contract like pre- and postconditions, etc. SYNOPSIS use Sub::Assert; sub squareroot { my $x = shift; return $x**0.5; } assert pre => $PARAM[0] >= 1, # for the sake of simplicity post => $VOID or $RETURN <= $PARAM[0], sub => squareroot, context => novoid,...

GNOME Office is the premier suite of office productivity applications designed for the GNOME desktop environment. Some of the applications also can run on Windows or Mac OS X. They provide powerful, efficient office productivity capabilities as free (GPL) software..

Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...


Platforms: *nix

KBPack a package for installing pre-compiled utilities, libraries, services, etc. and extending some functionality on QNAP TS-101/TS-201. The application contains a Web UI to manage the services/functions (see below) supported by itself. Function/Service Supported: Apache HTTPd - Max...


Platforms: *nix

CWC Simulator is a C++ implementation of CWC (Calculus of Wrapped Compartments). This package is basically a rewriting-based calculus for the representation and simulation of biological systems.


Platforms: Windows

Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after...


Platforms: Windows

Electronic Reverse Auctions (eRAs) can be an effective market making and price collection mechanism. Unfortunately, the more popular they become, the more frequent we hear the horror stories of auctions gone wrong. This is not because the tool is used too often, but rather because eRAs are being...


Platforms: All

When you use our Flip programs, you are enabled to design your own style themes with creative ideas for your flip books, and now the Calendar Decoration Flip Theme Package provides you pre-designed themes to help you achieve a decor that will make your books amazing and stunning. The Calendar...


Platforms: Windows

Celtx is the world's first all-in-one media pre-production system. It replaces 'paper & binder' pre-production with a digital approach that's more complete, simpler to work with, and easier to share. Celtx provides full featured script writing, media rich production support and the ability to...


Platforms: Windows

Phonopy is an implementation of post-process phonon analyzer, which calculates crystal phonon properties from input information calculated by external codes, e.g., first-principles calculation code. Phonopy employs a real-space method. Phonopy calculates phonon frequencies from force constants....


Platforms: Mac

Nemesis X is an enhanced version of phpBB 2.x.x, which is your all-in-one soloution to your website needs. Nemesis X comes pre-installed with up-to-date mods. Based on the popular phpBB you can very easily enjoy all the new features and pre-installs


Platforms: Windows, Mac, Linux

Decrap allows you to easily and safely remove all of the bloatware that comes pre-installed by the manufacturer on a new Windows PC. It can take hours or even days to get all the pre-installed software removed from your new computer, but with this little freeware utility you can completely...


Platforms: Windows

This package is created with the highly appreciated theoretical help and under the supervision of Prof. DSc. Ketty Peeva.Theoretical results and methods can be found in:1. B. De Baets, Analytical solution methods for fuzzy relational equations, in the series: Fundamentals of Fuzzy Sets, The...


Platforms: Matlab

-Compatible with pre-2010 vers. of Matlab and Neural network toolbox-Trains a perceptron for the spring and one for the damper. -Runs a simulation with forcing function and noise.-If you don't have the toolbox, you can still use my back-propagation.


Platforms: Matlab

Preload Images Contained Within ALL Referenced CSS Files. Uses jQuery to Preload to DOM. Plug n Play. Upload, activate and sit back!


Platforms: PHP

Allows you to set posts to appear automatically in the future, but have a post date in the past. For instance, your blog may be a diary and you need to catch up on a few entries. You write 5 entries that cover the last couple of weeks, but want to release the new entries in a trickle of one per...


Platforms: PHP

Strobe Media Playback is an Open Source Media Framework (OSMF) based media player that you can quickly and easily integrate into your web site. Strobe Media Playback is providing the compiled SWF in the package. OSMF simplifies the development of media players by allowing developers to assemble...


Platforms: Mac

Lens Profile Creator is a free utility that enables the easy creation of lens profiles for use in the Adobe Photoshop family of products, such as Adobe Photoshop CS5, Adobe Camera Raw and Adobe Photoshop Lightroom. A lens profile describes the types of optical aberrations that exist in a...


Platforms: Mac

FC-Compiler (tm) is a Calculus-level Compiler, helps Tweak parameters.. The FortranCalculus (FC) language is for math modeling, simulation, and optimization. FC is based on Automatic Differentiation that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints,...


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

Generate a random wordsearch using the words you specify or pre-defined Word Lists. Specify the dimensions and a difficulty level. Wordsearch is free if you change your IE start page to CoolFreeSoftware.com.


Platforms: Windows