Library for optimization using a genetic algorithm or particle swarms
Automatic verification of concurrent software systems
ntccKMC: A Kripke-structure-based model checker for ntcc
Download YouTube videos and songs fast and easy
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Real-time data acquisition and visualization software
Map based synchronizer
Extremely fast, scalable, concurrent, pure Java In-memory cache
to prove if a CLTL formula satisfy a ntcc process
predictive dialing for vTiger using asterisk
C++ Actor Library
SimCoL is a c++ lib that focus on classic concurrent problems.
A PHP implementation of the modified preorder tree traversal algorithm
A wrapper for PHP’s default session handler, using MySQL for storage
The GNOME share scanner
A bulk loading library for Actionscript