Pinned Loading

1. lin-prog-tutor lin-prog-tutor Public

   Python

2. search-scraper search-scraper Public

   scrape search results from http search engines

   Python 1

3. csv-sql-inference csv-sql-inference Public

   Rust

4. johnson-lindenstrauss-lean johnson-lindenstrauss-lean Public

   Machine-checked Lean 4 / mathlib formalization of the Johnson-Lindenstrauss lemma and the QJL one-bit inner-product guarantees (unbiasedness + Chebyshev and exponential distortion bounds).

   Lean

5. lean2py lean2py Public

   Python

6. math5110-vector-compression math5110-vector-compression Public

   From-scratch survey of vector compression (JL, SVD, sign/scalar quantization, TurboQuant) evaluated on RAG retrieval over a linear-algebra textbook

   Python