JQM - Java Quine McCluskey for minimization of Boolean functions.
NTER Learning Management System
Assistant for generating Natural Deduction style proofs
Add readings and translations to Japanese text
A free universal Braille Transcriber
Elementary Arithmetic Word Problem Solver
Study smarter and get smarter with the award-winning studying tool