Popular repositories Loading

1. kimi-dance-intro kimi-dance-intro Public

   积米律动 Kimidance — AI 拉片工具：输入短剧/长视频，自动输出文学剧本、叙事节奏分析、分镜速查表，台词零篡改。官网源码与公开介绍。

   TypeScript 9 2

2. OpenCLI OpenCLI Public

   Forked from jackwener/OpenCLI

   Make Any Website into CLI & Use your logged-in browser by AI agent.

   JavaScript

3. dbskill dbskill Public

   Forked from dontbesilent2025/dbskill

   dontbesilent 的商业诊断 Skills

   JavaScript

4. sage sage Public

   Forked from sagemath/sage

   Main repository of SageMath

   Python

5. rocq rocq Public

   Forked from rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml

6. pfr pfr Public

   Forked from teorth/pfr

   Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

   Lean