Abstract Spacecraft - Sell Project
Listed November 16, 2021
About Abstract Spacecraft
A modern mathematical diagram editor for both students and researchers.
Abstract Spacecraft is a desktop application that enables users to both work with and render commutative diagrams (CD). Our only competitors out there are Quiver CD editor (a web app), which doesn't do any sort of logical diagram rules, and a plugin for Mathematica called "WildCats". Of course there are more general diagram editors such as draw.io, but they don't specifically target the mathematician niche. Eventually our application will allow users to create & apply logical diagram rules (axioms, definitions, theorems), and aid them in writing diagram-chasing proofs. Perhaps, this software will one day assist in discovery of new theorems.
Project details
Built with: python,Python3,PyQt5,Category Theory,Homological Algebra
Website: https://github.com/enjoysmath/abstract-spacecraft
Video 1: https://youtu.be/xxTbf1J7iFE
Video 2: https://youtu.be/TSTdyRDvSss
Video 3: https://youtu.be/qltDs1J8QTE
Project metrics
Average Monthly Revenue: Undisclosed