xiaoyang111222 / cn-math-taxonomy

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

official-stockfish / Stockfish

A free and strong UCI chess engine

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

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.