Popular repositories Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

2. openclaw openclaw Public

   Forked from openclaw/openclaw

   Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

   TypeScript 1

3. CoPaw CoPaw Public

   Forked from agentscope-ai/CoPaw

   Your Personal AI Assistant; easy to install, deploy on your own machine or on the cloud; supports multiple chat apps with easily extensible capabilities.

   Python 1

4. AstrBot AstrBot Public

   Forked from AstrBotDevs/AstrBot

   Agentic IM Chatbot infrastructure that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨

   Python 1

5. opencode opencode Public

   Forked from anomalyco/opencode

   The open source coding agent.

   TypeScript 1

6. openfang openfang Public

   Forked from RightNow-AI/openfang

   Open-source Agent Operating System

   Rust 1