Wyrm – Solve algebra by touch, built on an open-source soundness engine

In plain words

Wyrm is an algebra calculator that lets users solve equations by dragging and manipulating terms on screen with touch gestures. Built on an open-source soundness engine, it allows users to enter their own problems and work through canceling and distributing terms visually. The tool is designed for students and learners who want to understand algebra through interactive manipulation rather than traditional input methods.

written from the facts on this page · September 2026

From the sources

Algebra engine. Contribute to dicroce/wyrm_math development by creating an account on GitHub.

An exact, conditionally-sound symbolic algebra engine for building manipulative math interfaces — the kind where users solve equations by dragging terms across the equals sign, tapping a power to expand it, or pulling a shared factor out of two terms. The core invariant: legal moves are possible, illegal moves are impossible. Equations are never validated — they are only ever transformed by rewrite rules, so every reachable state is sound by construction. And soundness is conditional : moves that are only valid under a condition (dividing by b requires b ≠ 0 ) or that can introduce extraneous solutions (multiplying both sides, squaring) are not forbidden — their conditions become…from github.com

In the maker’s words, at launch

There is a mobile game called DragonBox. It sort of tricks you into learning algebra by starting with very abstract manipulations of a puzzle that must follow rules... gradually the game teaches you more and more rules and also strips out the more abstract elements until on the last levels you are finally solving…

• 
  Wyrm Math — solve algebra by touchJul 2026 · dicroce.github.io · ▲1

  Solve algebra by touch — you can't make an illegal move

• 
  Dragonbox Algebra2015 · wewanttoknow.com · ▲60

  Suite of mobile games designed to teach Algebra.

• 
  Microsoft Math2019 · math.microsoft.com · ▲204

  A free app to help with school math problems

• 
  I made a web game that makes practicing basic arithmetic fun2024 · worchle.com · ▲161

  Hey, maker here. After launching a daily word search game, I randomly thought of this math game while driving. Finally got around to making it and I think it turned out pretty cool. It’s a math search game that’s meant to help you practice your quick addition, subtraction, multiplication, and division skills. I’m hoping it’ll help people (even those like me who aren’t big on math) learn and increase their speeds. (There are also some settings you can enable to make the game harder) If you try it out, please let me know if you found it fun, if you have anything you’d like me to add, or if you…

• 
  SineRider, a math puzzle game2023 · github.com · ▲181

  Messing with your TI-84 graphing calculator is a rite of passage for every teenager who has ever been bored in a math class. In 2013 I was that teenager, and it gave me an idea for a tiny game about sledding on graphs. This project grew into my white whale, and I spent my twenties trying and failing to finish it alone. I shelved the game when I started working for Hack Club in 2018—until last May, when a few community members took it off the shelf. The project took on a life of its own, and turned into a year of nights and weekends from a global team of 20+ teens in 8+ countries. Today…

• 
  I made an interactive math crossword puzzle with infinite levels2024 · scientific.place · ▲165

  Hey there! I'm the brains behind the math crossword game on my site. This game is all about making math a little more fun – users just drag and drop numbers to fill in the blanks and move on to the next level if they get it right. Let me know if face any issues or have any suggestions! :)

• 
  Run full iOS 16.5 firmware on Android Devices▲493

  Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

  Dev tools · 1d ago · github.com

• 
  /dev/null▲493

  a social network for devs

  Dev tools · 4d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 29d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 24d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 22d ago · talanoa.email

• IR
  I replaced a $120k bowling center system with $1,600 in ESP32s▲2,935

  I might be the only SRE on Earth with his own bowling center. It's a more in-depth gig than you'd think. My family and I bought an abandoned 8-lane bowling center in the rural mid-west. In our small town there weren't many recreation options for families. You've heard of a food desert? This is an R&R desert. It had been abandoned for a good reason. The roof leaks, the electrical system was constantly surging, and my 70-year-old bowling equipment (still) doesn't work perfectly. The system that keeps your score is particularly interesting to me. It's the thing you watch during your game, but…

  Life & fun · Jul 2026

• 
  Elevators▲1,680

  How elevators push your buttons

  Life & fun · Jul 2026 · john.fun

• 
  18 Words▲1,160

  Play 18 Words, the free daily word puzzle. The official home is 18words.com. Tap Play now to open today

  Life & fun · Jul 2026 · 18words.com

• BA
  Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)▲1,033

  Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness. To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There's no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn't need to fetch anything once you got it. Open it in a browser and then you can…

  Dev tools · Jul 2026 · bento.page

• 
  Getting GLM 5.2 running on my slow computer▲937

  A few days ago I found myself trying out GLM 5.2 and was really positively impressed. The capabilities and security I was getting from this LLM are similar to those I've gotten from models like Claude or GPT, and this really surprised me. But then I thought, "I wonder how it would work on a normal computer like mine," and above all, "I wonder if it would work without going into OOM on a computer like mine." So I started working with the help of agents to test this possibility. I started converting the model to int4, understanding MTP usage, and if possible implementing DSA for long context.…

  AI · Jul 2026 · github.com

• 
  OpenSEO▲928

  Hello! For the last 2 months, I've been building OpenSEO. It's a user friendly UI wrapping the DataForSEO API which has high quality SEO data for keywords, backlinks, AI SEO and competitor research. Instead of paying $100+ per month, you buy DataForSEO credits and pay only for usage. The coolest thing about the project so far has been hearing about what people are building on top of it. People are using coding agents to quickly integrate with Google Search Console, Google Ads and building their own AI SEO and reporting features. Many were already building their own custom solutions around…

  Dev tools · Jul 2026 · openseo.so