Pinned Loading

1. vicinity vicinity Public

   Approximate nearest-neighbor search

   Rust 3 1

2. pkgrank pkgrank Public

   Centrality analysis for dependency graphs and file-level import graphs

   Rust 1

3. subsume subsume Public

   Region embeddings for entailment and set containment

   Rust

4. tranz tranz Public

   Knowledge graph embedding models

   Rust

5. anno anno Public

   Text annotation and entity extraction

   Rust 9 1

6. geometry-of-numbers geometry-of-numbers Public

   Lean 4 formalization of Legendre's three-square theorem, Fermat's polygonal number theorem, and computable LLL

   Lean