GitHub repository: justinmckeown/GlyphPad
Primary language: Java
Description: Maths pad for writing and editing propositional logic and set theory formulas. A work in progress