Isabelle/Eclipse 1.2.0.201304072328 Beta / 1.3.0.201305250409 Nightly

NeoBook is a professional application builder and multimedia authoring system for creating a wide variety of utilities, interactive ebooks, presentations, catalogs, kiosks, educational/training materials, CD interfaces, slide shows, calculators, sales/promotional materials, custom apps, and more....

esProc is a business computing software, which is professional in Big Data computation with high performance and simplifying complex data computation, reducing cost of software and hardware as well as management expenses and enhancing the computation development efficiency of Java programs and reports....

What is Cassandra?Cassandra supports the complete development process from rapid prototyping to product development and final testing. It consists of three main parts that enable the development of computer visualization and signal processing applications through the use of, e.g., OpenCV and users‘ own extensions....

SWIG was designed to be an interface compiler that will connect programs written in C and C++ with scripting languages such as Perl, Python, Ruby, and Tcl.With the help of SWIG you have the possibility to build C / C++ programs and easily test and debug them.It works by taking the declarations found....

paxCompiler is a useful and embeddable compiler of Pascal programming language.TPaxCompiler, TPaxProgram and TPaxPascalLanguages are Delphi components that allows you to embed the paxCompiler into Delphi, Kylix or Borland C++ Builder application so you can customize and extend the application without having to recompile it....

ScalaLab is a Matlab-like application that allows developers to create scientific code in an efficient programing environment for the Java Virtual Machine.The program is flexible and provides the user a rich graphical interface that is easy to use and to understand. What's New in This Release: &midd....

CodonCode Aligner is a leading software program for DNA sequence analysis. Widely used in evolution research, biogeography, and other biomedical fields, it offers many features not found in competing programs, including the ability to compare contigs with ClustalW and muscle, trace sharpening, round....

IntelliJ IDEA lets you code without a hitch. It practices a non-intrusive, intuitive approach to help you write, debug, refactor, test and learn your code.Thanks to its deep understanding of languages and technologies, IntelliJ IDEA provides a second pair of hands for you when you need them.Playing ....

ADP stands for 'Another Data Processor', a programming language especially designed to meet the requirements of Web developers that work with databases.ADP can work with SQL databases. It features a simple syntax, which smooths the learning curve. No complicated instructions and commands are require....

IntelliJ IDEA Community Edition will provide Java, Groovy or Swing developers or doing Swing development with the perfect choice.It has all the crown jewels of IntelliJ IDEA, including various refactorings and code inspections, coding assistance, debugging, TestNG and JUnit testing; CVS, Subversion ....