Popular repositories Loading

1. first_proof_q10_solution first_proof_q10_solution Public

   Lean 1

2. rho-1 rho-1 Public

3. daily_stock_analysis daily_stock_analysis Public

   Forked from ZhuLinsen/daily_stock_analysis

   LLM驱动的 A/H/美股智能分析器，多数据源行情 + 实时新闻 + Gemini 决策仪表盘 + 多渠道推送，零成本，纯白嫖，定时运行

   Python

4. awesome-ai-research-writing awesome-ai-research-writing Public

   Forked from Leey21/awesome-ai-research-writing

   Elevate your AI research writing, no more tedious polishing ✨

5. cc-connect cc-connect Public

   Forked from chenhg5/cc-connect

   Bridge local AI coding agents (Claude Code, Cursor, Gemini CLI, Codex) to messaging platforms (Feishu/Lark, DingTalk, Slack, Telegram, Discord, LINE, WeChat Work). Chat with your AI dev assistant f…

   Go

6. claude-code claude-code Public

   Forked from ultraworkers/claw-code

   Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

   TypeScript