Show HN: Wyrm – solve algebra by touch, built on an open-source soundness engine

Category: library

Tags: symbolic-algebra, typeScript, math-education

Score: 7.8/10 (Innovation: 8, Technical: 9, Documentation: 8, Utility: 6)

Wyrm is a conditionally-sound symbolic algebra engine for building touch-based math interfaces, where equations are transformed only by verified rewrite rules. It implements a novel approach to soundness by making assumptions first-class and visible, and supports gesture-based problem-solving via a derivation tree with undo, branching, and disjunctions. Its innovative combination of exact arithmetic, stable node IDs for animation, and rule enumeration for UI affordances makes it a standout tool for educational and interactive math apps.

Target audience: backend devs, frontend devs, data engineers

Repository: https://github.com/dicroce/wyrm_math · TypeScript · MIT · 1 stars

View on Hacker News