Pinned Loading

1. geometry-of-numbers geometry-of-numbers Public

   Lean 4 library + experiments for geometry of numbers: lattices, Minkowski, and Ankeny’s three-squares descent; plus Cauchy’s polygonal reduction.

   Lean

2. fynch fynch Public

   Differentiable sorting and ranking: PAVA, Fenchel-Young losses, and O(n log n) FastSoftSort

   Rust

3. jin jin Public

   Approximate Nearest Neighbor Search: HNSW, DiskANN, IVF-PQ, ScaNN, quantization

   Rust

4. logp logp Public

   Information theory primitives: entropy, KL divergence, mutual information (KSG estimator), and information-monotone divergences

   Rust