Pinned Loading

1. Remember-Me-AI Remember-Me-AI Public

   40x cost reduction in AI memory through Coherent State Network Protocol (CSNP) - Wasserstein-optimal memory with zero-hallucination guarantees

   Python 61 11

2. ArkLang ArkLang Public

   Ark: The Sovereign Neuro-Symbolic Runtime

   Rust 11

3. -P-NP-Formal-verfication-in-Lean-4 -P-NP-Formal-verfication-in-Lean-4 Public

   Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.

   Lean 3

4. moonlight-kernel moonlight-kernel Public

   Project Moonlight: The Neuro-Symbolic Polyglot Kernel

   Python 5