Rational Clearcase

Visual Paradigm for the Unified Modeling Language (VP-UML) is a UML CASE suite with teamwork capability. The suite of tools are designed for a wide range of users, including Software Engineers, System Analysts, Business Analysts, System Architects alike, who are interested in building large...

MB Free Kabbalah Astrology Software is a Kabbalah Astrology based on the Kabbalistic Tree of Life. This advanced yet handy software calculates your Sun Sign based on your date of birth and integrates it with the Kabbalistic Tree of Life. MB Free Kabbalah Astrology clearly highlights the two...

SDE for IntelliJ IDEA is a fully featured UML CASE tool totally integrated with IntelliJ IDEA. It supports full software development lifecycle. It helps you build quality applications faster, better and cheaper. You can draw UML diagrams in IntelliJ IDEA, generate Java code, reverse engineering...


Platforms: Windows

SDE for JDeveloper is a full-featured UML CASE tool seamlessly integrated with JDeveloper. This UML CASE tool supports full software development life-cycle - analysis, design, implementation, testing and deployment. SDE supports reverse engineering (Java code to UML model), real-time code...


Platforms: Windows

Gauss displays lines and surfaces defined algebraically in 3D space in many forms, including z=f(x,y), cylindrical polar coordinates, and parametric definitions with one (giving a line) and two (surface) parameters. View controls move the viewpoint through 3D space, using keyboard and mouse....


Platforms: Windows

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...


Platforms: Windows, Windows 8, Windows 7

Codestriker project is an open-sourced web application which supports online code reviewing. Traditional document reviews are supported, as well as reviewing diffs generated by an SCM (Source Code Management) system and plain unidiff patches. There are integration points with CVS, Subversion,...


Platforms: *nix

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

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

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

Jenkins, previously known as Hudson, is an open source continuous integration server. Built with Java, it provides over 400 plugins to support building and testing virtually any project. It supports SCM tools including CVS, Subversion, Git, Mercurial, Perforce and Clearcase, and can execute...


Platforms: Windows

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

A visual diff, folder compare, and 3-way auto merge all-in-one tool. Guiffy features include the Trustworthy 3-way auto-merge -  'SureMerge', In-Line difference highlighting, integrated folder and filetree comparisons, command line interface and API for automation, SCM integrations and...


Platforms: Mac