Pinned Loading

1. work_summary work_summary Public

   Matthew L's Professional Portfolio and Work Summary

   Python

2. 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

3. 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 2

4. proof_as_code proof_as_code Public

   A repository showcasing the power of using code to generate and verify mathematical proofs and assertions. Technologies: Python, Jupyter Notebooks. Standout ...

5. contextfs/intent-spec contextfs/intent-spec Public

   Language-agnostic Intent-Behavioral Testing framework - Define test intents in natural language, run them against any language

   Python

6. ai_theory ai_theory Public

   Advancing the theoretical foundations of Artificial Intelligence through interdisciplinary research. This repository bridges AI, mathematics, and information theory, exploring innovative concepts t…

   TeX 1 1