Popular repositories Loading

1. code-animation code-animation Public

   Forked from Akillll-DuoHe/fy-code-animation

   forked from author：俯仰观照（bilibili up主）把中文文案、画风提示词和声音做成前后连贯的代码动画（Remotion / Canvas / HTML）的 DeepSeek Harness 技能。341 画风库检索、语义分镜、镜头转场、角色表演、四案音乐与音效、检查返修。

   TypeScript 4

2. A277223 A277223 Public

   Exact spectrum of maximal decimal digit-sum multipliers below 12 for OEIS A277223, with two explicit infinite families at k = 7 and k = 11, fully formalized in Lean 4 and kernel-verified by a CI ga…

   Lean 1

3. hydrostar-mcp hydrostar-mcp Public

   HydroStar local MCP automation with parametric geometry, quality gates and reproducible six-DOF examples

   Python 1

4. graffiti84 graffiti84 Public

   Lean 4 + Mathlib formalization of Graffiti.pc Conjecture 84: 2r(G) <= t(G)*delta(G) for every finite connected nontrivial simple graph. Machine-checked, sorry-free, standard axioms only. Developed …

   Lean

5. lightninnng.github.io lightninnng.github.io Public

   Personal academic homepage of Hai Luo

   HTML

6. code-animation-prompts code-animation-prompts Public

   Forked from XiaoyeCodes/code-animation-prompts

   341 种代码动画风格提示词、193 张参考静帧与离线挑选器，封装为 Claude Code / Codex Skill，支持一键导入与 HTML 视频渲染。

   HTML