Advanced mathematical types and functions for Swift
C++ library for half precision floating point arithmetics.
Tool support for the Z formal notation
Parallel pairwise correlation computation on Intel Xeon Phi clusters
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
combinational logic functions minimization
C++ wavelet library
Visualize Galois sub-hierarchy of 2d matrix
Polyhedron paper building