modinfo

@modinfo · 3 works

Builds Earth Game, an offline CLI for turning life goals into quests.

Recent posts by modinfo

• Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean · Project, Aug 2026 · github.com
• Find someone in the dark – light them or light yourself? (Three.js) · Project, Jul 2026 · github.com
• Earth Game – An offline CLI for turning life goals into quests · Project, Jul 2026 · github.com

Topics modinfo posts about

• Three.js on Instagram - 1 post · Best Three.js creators