an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
an advanced mouse gesture recognition engine and command processor. What is a mouse gesture? Mouse gestures are simple symbols that you "draw" on your screen using your mouse.
a graph editor and a C++ algorithm library essentially concerned with planar graphs. The editor is particularly intended for graph theoretical research.
The only way to share complete DVD movies with multiple audio tracks, subtitles, video angles and bonus materials online - free, fast, powerful and reliable.
a CD-ROm Webserver. That means it is a webserver that can run directly from cdrom without installation. Server2Go allows you to create a working web site or PHP application on a CD-ROM.
component-based, modular and open-architecture simulation environment with strong GUI support and an embeddable simulation kernel. Its primary application area is the simulation of communication networks and because of its generic and flexible architectur
a cross platform audio library and toolset to let you easily implement the latest audio technologies into your title. FMOD now supports 13 platforms! Win32, Win64, WinCE, Linux, Linux64, Macintosh (os8/9/10/x86) PS2, PSP, PS3, Xbox, Xbox 360
automatically hardens software applications against a wide range of bugs. These bugs — known as memory errors — often end up as serious security vulnerabilities, cause crashes, or lead to unpredictable behavior.
a library of C++ classes and templates for high-performance numerical computation. PETE, which stands for "Portable Expression Template Engine", uses a technique called expression templates to eliminate data copying and the creation of temporary variables
a Java decompiler, i.e. program that reads one or more Java class files and converts them into Java source files which can be compiled again. Jad is a 100% pure C++ program and it generally works several times faster than decompilers written in Java.
provides a software development platform that allows developers to take advantage of a new generation of high performance processors. These new processors, including GPUs, the IBM Cell, and other multi-core processors
Screen scrapper and parser service. Cost: "In the future, non-commercial and small uses will remain free. Pricing structure for bigger applications and for commercial uses will be announced in the future."
By Scott Meyers - describes the rules of thumb used by the experts—the things they almost always do or almost always avoid doing—to produce clear, correct, efficient code.
a graphic viewer that can view, edit, and convert image files and play video/audio formats. It does not have extensive image creation and painting capabilities
«I have taught an undergraduate compilers course for over a decade. In the last several years, I have used my own textbook "Basics of Compiler Design". I have now decided to make this available online.». "Extended edition" += chapter about analysis and optimization
astrophysicist John Dubinski's self-published DVD containing his stunning supercomputer simulations of galactic evolution set to Bach music. "... Gravitas points clearly at ties between the ideas of Isaac Newton and the music of Bach. To do this with sounds and images that appeal to club kids and new music fans equally is a major achievement." - John Terauds, Toronto Star, March, 9 2006