Popular repositories Loading

1. blog blog Public

   TypeScript 1

2. MathGaokao MathGaokao Public

   高考数学试题档案馆 1905-2025

   Python 1 1

3. lean4game-logic lean4game-logic Public

   Forked from Trequetrum/lean4game-logic

   Make/Encode some basic logic puzzles

   Lean

4. LeanLogic LeanLogic Public

   精益逻辑在线教育系统 | LeanLogic Education Online System

5. vibe-proving-math vibe-proving-math Public

   Forked from ml1301215/vibe-proving-math

   Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.

   Python

6. awesome-claude-code awesome-claude-code Public

   Forked from hesreallyhim/awesome-claude-code

   A curated list of awesome skills, hooks, slash-commands, agent orchestrators, applications, and plugins for Claude Code by Anthropic

   Python