Top AI Repos — open-source AI, indexed and scored
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
十分钟魔法练习
| Date | Stars |
|---|---|
| 2026-07-24 | 812 |
| 2026-07-25 | 812 |
| 2026-07-28 | 812 |
| 2026-07-30 | 812 |
| 2026-08-18 | 811 |
| 2026-08-23 | 811 |
| 2026-08-31 | 810 |
| 2026-09-04 | 812 |
| 2026-09-20 | 812 |
Today
— stars today
This week
— stars this week
This month
+1 stars this month
Momentum
0.0
growth rate 0.00%/day
# 十分钟魔法练习 [Rust 版 - 光量子](https://github.com/PhotonQuantum/magic-in-ten-mins-rs) | [C++ 版 - 图斯卡蓝瑟](https://github.com/tusikalanse/magic-in-ten-mins-cpp) | [C# 版 - CWKSC](https://github.com/CWKSC/magic-in-ten-mins-csharp) | [Lua 版 - Ofey Chan](https://github.com/ofey404/magic-in-ten-mins-lua) | [Ocaml 版 - 光吟](https://github.com/LighghtEeloo/magic-in-ten-mins-ml) | [Python 版 - penguin_wwy](https://github.com/penguin-wwy/magic-in-ten-mins-py) | [Typescript 版 - wuyudi](https://github.com/wuyudi/magic-in-ten-mins-ts) 抽象与组合 希望能在十分钟内教会你一样魔法 QQ群：1070975853 | [Telegram Group](https://t.me/joinchat/HZm-VAAFTrIxoxQQ) > 目录中方括号里的是前置技能。 ## 类型系统 偏易 | [Markdown](doc/ADT.md) | [HTML](https://magic.huohuo.moe/html/ADT.html) | 代数数据类型(Algebraic Data Type) [Java 基础] 偏易 | [Markdown](doc/GADT.md) | [HTML](https://magic.huohuo.moe/html/GADT.html) | 广义代数数据类型(Generalized Algebriac Data Type) [Java 基础， ADT] 偏易 | [Markdown](doc/CoData.md) | [HTML](https://magic.huohuo.moe/html/CoData.html) | 余代数数据类型(Coalgebraic Data Type) [Java 基础， ADT] 偏易 | [Markdown](doc/Monoid.md) | [HTML](https://magic.huohuo.moe/html/Monoid.html) | 单位半群(Monoid) [Java 基础] 较难 | [Markdown](doc/HKT.md) | [HTML](https://magic.huohuo.moe/html/HKT.html) | 高阶类型(Higher Kinded Type) [Java 基础] 中等 | [Markdown](doc/Monad.md) | [HTML](https://magic.huohuo.moe/html/Monad.html) | 单子(Monad) [Java 基础， HKT] 较难 | [Markdown](doc/StateMonad.md) | [HTML](https://magic.huohuo.moe/html/StateMonad.html) | 状态单子(State Monad) [Java 基础， HKT ， Monad] 中等 | [Markdown](doc/STLC.md) | [HTML](https://magic.huohuo.moe/html/STLC.html) | 简单类型 λ 演算(Simply-Typed Lambda Calculus) [Java 基础， ADT ，λ 演算] 中等 | [Markdown](doc/SystemF.md) | [HTML](https://magic.huohuo.moe/html/SystemF.html) | 系统 F(System F) [Java 基础， ADT ，简单类型 λ 演算] 中等 | [Markdown](doc/SysFO.md) | [HTML](https://magic.huohuo.moe/html/SysFO.html) | 系统 F ω(System F ω) [Java 基础， ADT ，系统 F] 较难 | [Markdown](doc/CoC.md) | [HTML](https://magic.huohuo.moe/html/CoC.html) | 构造演算(Calculus of Construction) [Java 基础， ADT ，系统 F ω] 偏易 | [Markdown](doc/PiSigma.md) | [HTML](https://magic.huohuo.moe/html/PiSigma.html) | Π 类型和 Σ 类型(Pi type & Sigma type) [ADT ，构造演算] ## 计算理论 较难 | [Markdown](doc/Lambda.md) | [HTML](https://magic.huohuo.moe/html/Lambda.html) | λ 演算(Lambda Calculus) [Java 基础， ADT] 较难 | [Markdown](doc/DBI.md) | [HTML](https://magic.huohuo.moe/html/DBI.html) | De Bruijn 索引(De Bruijn index) [Java 基础，ADT，λ 演算] 偏易 | [Markdown](doc/EvalStrategy.md) | [HTML](https://magic.huohuo.moe/html/EvalStrategy.html) | 求值策略(Evaluation Strategy) [Java 基础， λ 演算] 较难 | [Markdown](doc/ChurchE.md) | [HTML](https://magic.huohuo.moe/html/ChurchE.html) | 丘奇编码(Church Encoding) [λ 演算] 很难 | [Markdown](doc/ScottE.md) | [HTML](https://magic.huohuo.moe/html/ScottE.html) | 斯科特编码(Scott Encoding) [构造演算， ADT ， μ] 中等 | [Markdown](doc/YCombinator.md) | [HTML](https://magic.huohuo.moe/html/YCombinator.html) | Y 组合子(Y Combinator) [Java 基础，λ 演算，λ 演算编码] 中等 | [Markdown](doc/Mu.md) | [HTML](https://magic.huohuo.moe/html/Mu.html) | μ(Mu) [Java 基础，构造演算， Y 组合子] 中等 | [Markdown](doc/VecFin.md) | [HTML](https://magic.huohuo.moe/html/VecFin.html) | 向量和有限集(Vector & FinSet) [构造演算， ADT ，依赖类型模式匹配] ## 形式化验证 偏易 | [Markdown](doc/CHIso.md) | [HTML](https://magic.huohuo.moe/html/CHIso.html) | Curry-Howard 同构(Curry-Howard Isomorphism) [构造演算] 偏难 | [Markdown](doc/LeiEq.md) | [HTML](https://magic.huohuo.moe/html/LeiEq.html) | 莱布尼兹相等性(Leibniz Equality) [构造演算] ## 编程范式 简单 | [Markdown](doc/TableDriven.md) | [HTML](https://magic.huohuo.moe/html/TableDriven.html) | 表驱动编程(Table-Driven Programming) [简单 Java 基础] 简单 | [Markdown](doc/Continuation.md) | [HTML](https://magic.huohuo.moe/html/Continuation.html) | 续延(Continuation) [简单 Java 基础] 中等 | [Markdown](doc/Algeff.md) | [HTML](https://magic.huohuo.moe/html/Algeff.html) | 代数作用(Algebraic Effect) [简单 Java 基础，续延] 中等 | [Markdown](doc/DepsInj.md) | [HTML](https://magic.huohuo.moe/html/DepsInj.html) | 依赖注入(Dependency Injection) [Java 基础，
Excerpt of 4,414 characters
Read on GitHub
90
1
1
1
1
Would you bet a product on this? Bounded 0–100 and slow moving.
matched fp:9af1479c0f135318, topic:tutorial