Pinned Loading

1. llmsort llmsort Public

   Score a list by any fuzzy attribute with an LLM judge: pairwise ratio questions fitted into consistent scores with error bars, at a known cost.

   Rust 2

2. private-data-computation-protocol private-data-computation-protocol Public

   Formal models and executable protocols for bounded computation over private data: exposure accounting, evidence, settlement, and Lean proofs.

   Python 1

3. isoequal isoequal Public

   Deep equality for cyclic structures and unordered collections — sound isomorphism semantics where every incumbent crashes, lies, or goes quadratic

   TypeScript

4. SHTF SHTF Public

   Offline household-continuity kit: 135 Kindle-ready books, field playbooks and emergency cards, medical guides, and download instructions for offline Wikipedia, maps, and local AI

   Shell 5 2

5. ideonomy ideonomy Public

   Computational ideonomy: Gunkel's science of ideas as inference-time machinery

   Haskell