-- PEM - A tool like a visual debugger with a rich user interface(but there is much more to this than a debugger), it is better described using the example of Eclipse debugger. This tool inverts the debugger to develop code.
SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.
Computer Science documenation project. This project intend to provide full documentation and academic information for studies. All course taken , all exams with solutions lots of examples and more.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.
Provides fast lookup for a Subject Based messaging product using a trie. It allows for configurable wildcard characters to replace a single or multiple subject field(s) (A.B.*.D.>). Insertion in to the tree returns a unique handle for subsequent deletion
A generic library of swarm intelligence algorithms for general use. This project is currently being developed in cooperation between De Montfort University, UK and Georg-Simon-Ohm-Hochschule, Germany under Dr. Aladdin Ayesh supervision.
The treexpr library is a Free Software library that applies regular expression concepts to tree structures. It it written in C and has a JNI binding to Java.
Transsat makes it possible to use unary and binary coding in SAT-related problems. Furthermore it introduces a convenient file format to input integer-based constraints and you can choose between popular SAT-solvers.
extend what db2 can do. developer and dba helper.
Algorithms that run our universe | Your personal library of every algo
a tokenizer that is general purpose, and multilanguage. it will provide consistent usage across the languages, and be tied into that language's unique common usage types.
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.
practice of suanfa with c++/Java
breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.