Concise spatial query and representation system (c-squares)
Linear constraint feasibility check and get program.
Makes magic squares.
Omniglot data set for one-shot learning
Mathematics, linear algebra and optimisation
Automatic solver of a minesweeper game
Libtdata is a C library implements trees, index allocation and bit ops
Open Source Java platform for Optimization, DoE, and Learning.
C++ BigInt class enables to work with arbitrary precision integers
High performance image processing library in C++
Pattern-based multi/many-core parallel programming framework
A tool for finite state machine analysis and synthesis.
Tool for Engineering Emergent Selforganizing bEhavioR
Self-orthogonal diagonal Latin squares.
SMSD is a Java based software library for calculating MCS.
A B-tree based associative array library.