enjoysmath/abstract-spacecraft

Stars
2
Language
Python
License
GNU General Publi...
Created over 2 years ago
Updated about 2 years ago

enjoysmath/abstract-spacecraft

enjoysmath

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

BananaCats is a category theory study tool.

QuiverDatabase

Dots

Dots = D Object-oriented Type System. Dots is a type-system implemented in the C++ successor language called D, and this is its homepage (for now).

Marked-KaTeX-example-cpp

Trying to get a working example of KaTeX rendering as well as Markdown insided of a QWebEngineView (Qt "Widgets" framework).

MathDOPE_

DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.

DiagramChasingGames

Diagram Chasing Games is a nexus of category / homological / arrow-theoretic games you can play to teach yourself these abstract math areas.

commutative-diagram-designer

Diagram chaser kernel for Abelian categories.

CoqChaser

CoqChaser is a tool for students of the diagram-chase proof method, so in essence students of Category Theory, Homological Algebra, Topos Theory, or anything having to do with a lot of commutative diagrams (CD's).