Popular repositories Loading

1. h5-video-to-img h5-video-to-img Public

   对video标签播放的视频,进行截图

   6 2

2. lean4ai lean4ai Public

   Lean4 AI Knowledge Base - 157,000+ words dictionary covering AI, LLM, Quantum Computing, and Physics

   Lean 4 2

3. master-equivalent master-equivalent Public

   同等学力申硕考试备考资料（英语 + 计算机科学与技术）

   3 1

4. deepseek-kernel-harness deepseek-kernel-harness Public

   Linux kernel dev plugin: L1-L4 verification pyramid (checkpatch/sparse/build/boot) + graph-level governance (Goodhart/blind-spot/conflict) + x-kernel feature audit (P1-P12)

   Python 2

5. deepseek-rust-harness deepseek-rust-harness Public

   Rust dev plugin: fmt-clippy-build-miri/audit verification pyramid + 12 semantic practice cards + problem-oriented docs map

   Python 2

6. use-python use-python Public

   python使用笔记

   Python 1 1