fast C++ library for linear algebra & scientific computing
Arbitrary-precision CRC calculator and algorithm finder
fast C++ library for GPU linear algebra & scientific computing
Iterative and recursive parallelism generics for Ada 2005 and Ada 2012
A real time inference engine for temporal logical specifications
Big Data Stream Analytics Framework.
simulated annealing optimization and importance-sampling
antigift is simple cross-platform, files & folders encryption tool
Linear constraint feasibility check and get program.
Libtdata is a C library implements trees, index allocation and bit ops
C++ BigInt class enables to work with arbitrary precision integers
IMU Allan standard deviation charts
Pattern-based multi/many-core parallel programming framework
Tool for Engineering Emergent Selforganizing bEhavioR
Generate and solve Travelling Salesman Problem tasks
Concurrent Data Structure library
Data reduction and imaging for select astronomical cameras