Unicode XML TEI text analysis platform
Verification via biSimulations of Max-Plus-Linear models
Log-linear analysis (data modelling) for high-dimensional data
Timeseries databases management system
Visualize Galois sub-hierarchy of 2d matrix
Utility classes from maps to search engine to random samplers