666ghj / MiroFish

A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物

xiaoyang111222 / cn-math-taxonomy

数学（小学到高中）、英语（三年级到高中）、初中物理的知识图谱：1644 个知识点、2403 条先修边、6723 道题，对齐课标，附自适应前置诊断。

official-stockfish / Stockfish

A free and strong UCI chess engine

Tavotto / Tavotto

AI drew your research figure. Tavotto makes it publication-ready: edit matplotlib and AI-generated figures on a canvas, lay out multi-panel pages in mm, check journal rules before export. Scripts stay untouched.

anthropics / formal-math

Machine-checked Lean 4 formalizations of research results, each in its own Lake project, published by Anthropic.

chenwei810 / Semiconductor_Manufacturing_Introduction

Introduction to Semiconductor Manufacturing

elder-plinius / V3R1T4S

liberating known unknowns

eyalgolan / statecraft-israel

A Civilization-style strategy game about governing Israel from 15 May 1948. Real ministers, real map, every fact sourced. Unity + deterministic C# sim.