fast C++ library for linear algebra & scientific computing
Arbitrary-precision CRC calculator and algorithm finder
A real time inference engine for temporal logical specifications
Big Data Stream Analytics Framework.
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
Tool for Engineering Emergent Selforganizing bEhavioR
Generate and solve Travelling Salesman Problem tasks
Data reduction and imaging for select astronomical cameras
Bachelor of Science (Informatik)
JBernstein: Exploration techniques for non-linear constraint checking
Graph algorithms interpreter, IDE, debugger, 3D visualizations.