A high-integrity, generic Ada library for calculating numeric and text distances (Euclidean, Levenshtein, Haversine, etc.), formally verified with SPARK.
data-science spark algorithms mathematics levenshtein jaro-winkler ada euclidean formal-verification manhattan chebyshev minkowski string-similarity hamming-distance canberra sorensen-dice-distance distance-metrics alire high-integrity
-
Updated
Dec 1, 2025 - Ada