Exhaustively

For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these...


Platforms: Matlab

The Java Rabbit Engine (jRabbit for short) is an open source, 2D Java game engine built on LWJGL. It???*a*?s designed to be fast, fun, and easy to use, so feel free to get started! jRabbit is: Powerful: Use OpenGL to utilize the full power of the GPU! Portable: Run your games on any major OS...


Platforms: Mac

This module extends Greg Bacon's implementation on clique reduction with regular expression. Originally can be found at: http://home.hiwaay.net/~gbacon/perl/clique.html The function take clique size (k) and vertices (list of lists) and return all the vertices that form the clique. K-clique...


Platforms: *nix

MCPP is a portable C/C++ preprocessor, supporting GCC, Visual C++, etc. Its source is highly configurable and can generate executables of various specs. It accompanies a validation suite to check preprocessor's conformance and quality exhaustively.


Platforms: *nix

Nowadays hard drives and storage devices have become so big, and are capable of storing so much, that it is difficult to control them and know exactly what is stored on them. Tools like Folder Reports can help in this situation, and help you to have more control over their content.Folder Reports...


Platforms: Windows

Duplicate File Eraser is an application that detects and eliminates unnecessary duplicated files that are on your hard drive. As we all know, these files are especially irritating and take up a lot of valuable space that could later cause a serious failure.The Duplicate File Eraser program...


Platforms: vista

IntroductionWordPress SEO plugins have been done before, but never like this.Offering direct control over more than 100 separate on-page characteristics important for SEO, while loading fewer than 700 lines of code for each ordinary page view and playing nicely with other plugins, this plugin has...


Platforms: PHP

The OpenElectrophy project aims to simplify data- and analysis-sharing for intra- and extra-cellular recordings. In short with OpenElectrophy you will be able to play with neural signals, spikes and oscillations. OpenElectrophy has three main goals: * to be a good storage management...


Platforms: *nix

Han Trainer is a multimedial training software specialized on teaching Chinese vocabulary for Linux and Mac operating systems. Its innovative approach, visual memorising aids and an exhaustively prepared vocabulary allow a highly efficient vocabulary training. Taking into account the high...


Platforms: *nix