Poincare's repositories
dif-coh-topos
Working group online on differential cohesive topos
Angry-Frog
Gou game
purescript-rowecs
Entity-Component-System pattern for Purescript emphasizing Row types
Language:PureScript000
FreeBoardGames.org
FOSS platform for publishing boardgame.io games
Language:JavaScriptAGPL-3.0000
Hello-World
苟利国家生死以
manim
Animation engine for explanatory math videos
Language:PythonNOASSERTION000
Language:HTML000
NonEuclidean
A Non-Euclidean Rendering Engine for 3D scenes.
Language:C++MIT000