Rational Reducer

KDiff3 is a program that * compares or merges two or three text input files or directories, * shows the differences line by line and character by character (!), * provides an automatic merge-facility and * an integrated editor for comfortable solving of merge-conflicts, * supports Unicode,...

Easy to create mind maps (graphical representations of thought processes) for brainstorming, problem solving, rational analysis, and decision marking. Easy to use drawing tools, many pre-drawn flowchart templates and more than 600 flowchart symbols and flowchart samples, drawing couldn't be...

DadaDodo project is a program that generates random sentences based on input files. Sometimes these sentences are nonsense; but sometimes they cut right through to the heart of the matter, and reveal hidden meanings. DadaDodo works rather differently than Dissociated Press; whereas...


Platforms: *nix

KlearCase is a set of tools to access Clearcase using the KDE environment. Several KDE plugins allow KDE applications to take advantage of Clearcase features. KlearCase project is a set of tools to use IBM Rational ClearCase from KDE. Whats New in This Release: - Better integration Kde...


Platforms: *nix

Xholon runtime framework executes applications that are event-driven or that have highly dynamic structure or behavior. Specify your models using XML and Java, or using third-party UML2 tools and MDA transformations. To get started, read or actively work through the basic HelloWorld tutorial....


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

Math Objects is a math template library written in C++ using generic programming techniques. In order to use the "Math Objects" library, the user only has to include the header files he needs (e.g. Matrix.h, Polynomial.h etc.). In order to compile the library the user needs an ISO/IEC...


Platforms: *nix

Image::MetaData::JPEG::TagLists contains a collection of tag tables for JPEG segments. Image::MetaData::JPEG::TagLists is an appendix to the main manual page of the Image::MetaData::JPEG module, which the reader should refer to for further details and the general scope. Valid tags for Exif APP1...


Platforms: *nix

JPEG Fit is a PHP class that can be used to optimize images to fit within a given file size limit. The project takes a picture in any format supported by the GD library and generates a JPEG picture with the maximum quality factor that makes the picture file size not exceed a given limit. This...


Platforms: *nix

Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it. Vaucansons goal is to enable the development of C++ programs in an abstract and general way with a large specialization power. On the one hand, it allows the writing of...


Platforms: *nix

Zenwalk Linux (formerly Minislack) is a Slackware-based GNU/Linux operating system with a goal of being slim and fast by using only one application per task and with focus on graphical desktop and multimedia usage. Zenwalk features the latest Linux technology along with a complete programming...


Platforms: *nix

ZenEdu is a distribution whose main goal is to provide an easy-to-install, stable and free operating system to nurseries and primary schools. ZenEdu includes a good collection of teachers tools for their daily educational work as well as games dedicated to children. This version of ZenEdu is...


Platforms: *nix

The essence of NeXT's Digital Librarian re-implemented using Cocoa and running on Mac OS X. MTLibrarian is an indexing and retrieval system for text and documents which allows you to create custom groups of documents which are keyword searchable. MTLibrarian is currently able to index and search...


Platforms: Mac

PyRx is a Virtual Screening software for Computational Drug Discovery that can be used to screen libraries of compounds against potential drug targets. PyRx enables Medicinal Chemists to run Virtual Screening from any platform and helps users in every step of this process - from data preparation...


Platforms: Windows

APBS was designed as a software package for modeling biomolecular solvation through solution of the Poisson-Boltzmann equation or PBE. PBE is one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum...


Platforms: Windows

Generate color images of the most popular fractal, the Mandelbrot set, and also generate images of the associated Julia sets. You can also generate an unlimited variety of fractal types based on rational functions, including fractals based on Newtons method and Halleys method. Fractal Domains...


Platforms: Mac

Batch Word Compact Shrinker is an application which helps users to reduce Word documents size easily. Batch Word Compact Shrinker supports powerful search for a lot of files. It's a user friendly Word Packer and Shrinker. Batch Word Compact Shrinker supports project and command line. Batch Word...


Platforms: Windows

Eclipse SDK is an open source platform-independent software framework for delivering what the project calls or is known as "rich-client applications" (as opposed to "thin clients", this means the clients perform heavy-duty work on the host. So far this framework has typically been used to...


Platforms: Windows

SDE for NetBeans is a UML CASE tool/plug-in tightly integrated with NetBeans. This UML modeling software supports full software lifecycle - analysis, design, implementation, testing and deployment. This UML CASE tool helps you build quality applications faster, better and cheaper. You can draw...


Platforms: Windows, Mac, Linux, Java

TechnoRiverStudio comes with one of the industry biggest Label Stock Database to help you in the design of labels. The software supports multi-language labels, allowing characters from different languages to be printed on a single label layout, thus enabling users to create labels targeted for...


Platforms: Windows