Launches on November 29, 2024
Repositories created on this date, ranked by GitHub stars. They launched the same day, so their stars compare directly.
- 11
用 TypeSafe Jev（System One）驱动扫雷自动通关：HTML 扫雷页每走一步实时问模型，并把它的选项、概率、代码已证明的事实全部可视化。Play Minesweeper with TypeSafe Jev (System One): an HTML game that asks the model every move and visualises its options, probabilities and the facts the code proved.