Pinned Loading

1. chrome.exposed chrome.exposed Public

   Exposed - Chrome Extension

   JavaScript 1

2. keystroke-auth keystroke-auth Public

   Keystroke dynamics behavioral biometric authentication demo

   JavaScript 1

3. rsa-correctness-lean4 rsa-correctness-lean4 Public

   RSA correctness proved from first principles in pure Lean 4. 196 machine-checked lemmas, zero sorry, zero dependencies, no Mathlib.

   Lean

4. storetle storetle Public

   Pip-installable wheel for streaming large document corpora (USPTO, arXiv, PubMed, web crawls). HTML-aware compression with random access, about 46% smaller than gzip WARC.

   Python