Tag
Wyrm is an open-source symbolic algebra engine in TypeScript that powers a gesture-based algebra app for iOS and Android. It guarantees soundness by construction through conditional rewrite rules, allowing users to solve equations by touch.
Developer releases `exact-poly`, a 2D geometry library using exact integer arithmetic instead of floats to eliminate cross-platform reproducibility issues caused by IEEE 754 implementation differences.