Show HN: Exact integer LLL lattice basis reduction in C99

Category: library

Tags: lattice-reduction, number-theory, c99, gmp, exact-arithmetic, cryptography

Score: 5.0/10 (Innovation: 3, Technical: 7, Documentation: 7, Utility: 3)

clll is a C99 library for exact integer LLL lattice basis reduction, built on GMP and based on formally verified algorithms from Isabelle/HOL. It provides a niche but technically solid implementation with exact arithmetic and clean build integration, useful for applications in cryptography and number theory where floating-point errors are unacceptable.

Target audience: researchers and developers in cryptography, number theory, and computer algebra

Repository: https://github.com/qawbecrdtey/clll · C · LGPL-2.1

View on Hacker News