A collection of mathematical packages in pure Ada
A collection of python3 modules for Algorithmic Decision Theory
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
A flexible mathematical expressions parser for JAVA, Android, C# .NET
A collection of machine-checkend mathematical proofs
Capacity exhaustion prediction from RRD files
Free Matlab toolbox to compute robust correlations
C++ collection mostly for image processing