Popular repositories Loading

1. rikkahub-math-plus rikkahub-math-plus Public

   RikkaHub 二改增强版：TikZ 图表自动渲染（pdflatex 工作区管线）+ai4math-lean数学形式化技能。基于上游 2.4.3。

   Kotlin 8

2. trainer-2048 trainer-2048 Public

   3x3 2048 Trainer - AI-powered training app with exact tablebase probabilities

3. rikkahub rikkahub Public

   Forked from rikkahub/rikkahub

   RikkaHub is an Android APP that supports for multiple LLM providers.

   Kotlin

4. finite-averaging-research finite-averaging-research Public

   Perfect mixability & mixing graphs | 完美可混合性、混合图与有限步平均。Binary/二平均, ternary/三平均, prime p/素数平均 and general k-ary/k平均: proofs, exact verifiers, certificates, algorithms and benchmarks.

   HTML

5. knight-lab knight-lab Public

   Interactive 4x4 Knight graph sliding puzzle with optimal-search budgets and synchronized board/graph views.

   HTML