Pinned Loading

1. type-safe-physics type-safe-physics Public

   Type-Safe Physics: A framework for expressing physics with mathematical rigor using type theory, category theory, and formal verification. Includes paper, Haskell implementations, and educational r…

   TeX

2. contextfs/contextfs contextfs/contextfs Public

   Universal AI Memory Layer - Cross-client, cross-repo context management with RAG. Works with Claude Code, Claude Desktop, Gemini CLI, and any MCP client.

   Python 3

3. yoneda-ai yoneda-ai Public

   Category-theoretic foundations for open problems in quantum mechanics, gravity, and observer theory — 6 papers applying the Yoneda Constraint

   TeX

4. AgentHeroWork/agent-os AgentHeroWork/agent-os Public

   Functional design patterns for intelligent agent infrastructure — 5-part research series with Elixir/OTP reference implementations

   Elixir

5. local_rag_pipeline local_rag_pipeline Public

   A data processing pipeline for analyzing content from local data, including scraping, metadata extraction, and text analysis.

   Python

6. voltforge voltforge Public

   VoltForge: Software-defined power interoperability for cordless tool ecosystems. 5 research papers + Rust #![no_std] firmware for typed, safe cross-brand battery adaptation.

   TeX