Arbitrary-precision CRC calculator and algorithm finder
A real time inference engine for temporal logical specifications
Releases of McuOnEclipse projects
Least-Squares Adjustment Software for Geodetic Sciences
Toolboxes for parameter continuation and bifurcation analysis.
fast C++ library for GPU linear algebra & scientific computing
Collection of fast and optimized assembly libraries for x86-64 Linux
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
Java programmer's aid in useful methods and classes
An industrial grade federated learning framework
A Java Utility Class To Create Combinations of Existing Arrays.
Open-Source Framework for Distributed Constraint Optimization (DCOP)
Realtime PC-based control and simulator of control systems
A collection of python3 modules for Algorithmic Decision Theory
comman and new algorithms and functions development and demo programs.
C++ framework for application of any type of evolutionary computation.
Sokoban solver written in Ada
A BST, B-tree and trie data structures library.