Popular repositories Loading

1. waic-2026-research waic-2026-research Public

   WAIC 2026（世界人工智能大会）详细调研资料库

   5 1

2. Ephemeral6.github.io Ephemeral6.github.io Public

   4

3. ZJU-Dingie-github ZJU-Dingie-github Public

   Forked from Open-LLM-VTuber/Open-LLM-VTuber

   Talk to any LLM with hands-free voice interaction, voice interruption, and Live2D taking face running locally across platforms

   Python 1

4. Open-LLM-VTuber-Web Open-LLM-VTuber-Web Public

   Forked from Open-LLM-VTuber/Open-LLM-VTuber-Web

   The Web/Electron frontend for Open-LLM-VTuber Project

   TypeScript 1

5. math-proof-library math-proof-library Public

   A curated library of 85 verified proofs in optimization, learning theory, convex analysis, and statistics — produced by a multi-phase automated math-proof agent

   Lean 1 1

6. knowledge-integrator-full knowledge-integrator-full Public

   Knowledge Integrator: P0 + P1 features (multi-view graph, hybrid search, RAG benchmark, token stats, docker)

   Python 1