A real time inference engine for temporal logical specifications
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
comman and new algorithms and functions development and demo programs.
Use Gnu Scientific Library as if it were writtem in C++.
Sokoban solver written in Ada
Constraint Satisfaction Problem solving library for Java
map and nosql database
C++ framework for application of any type of evolutionary computation.
A collection of python3 modules for Algorithmic Decision Theory
PCR primers / probes design from multiple & degenerate sequences
Book of elementary algorithms and data structures
A Java Utility Class To Create Combinations of Existing Arrays.
Generate pseudo unique int64 identifiers
A BST, B-tree and trie data structures library.
Java programmer's aid in useful methods and classes
A C++ Active Shape Model Library from the University of Manchester
antigift is simple cross-platform, files & folders encryption tool
Realtime PC-based control and simulator of control systems
Browse through the planets of the Elite game on various Z80 machines
Password Safe encrypted databases, Java library
Open-Source Framework for Distributed Constraint Optimization (DCOP)
VR Mosaic - C++ Builder Applet v.2.5