Pinned Loading
-
memcode-in/memcode
memcode-in/memcode PublicMemcode: #1 Memory Layer for AI agents, Building Memory infra for every use case
-
google-deepmind/formal-conjectures
google-deepmind/formal-conjectures PublicA collection of formalized statements of conjectures in Lean.
-
supermemoryai/supermemory
supermemoryai/supermemory PublicMemory and context engine + app that is extremely fast, scalable, and can be run fully locally. The Memory API for the AI era.
-
ollama/ollama
ollama/ollama PublicGet up and running with Kimi, GLM, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
-
google-gemini/gemini-cli
google-gemini/gemini-cli PublicAn open-source AI agent that brings the power of Gemini directly into your terminal.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



