Discover @enjoysmath Open Source projects

Enjoys Math (@enjoysmath)

enjoysmath

Stars
33
Global Rank 458,219 (Top 16 %)
Followers 3
Following 6
Registered over 12 years ago
Most used languages

JavaScript
37.5 %

C++
37.5 %

D
12.5 %

Python
12.5 %
Location 🇺🇸 United States
Country Total Rank 85,444
Country Ranking

D
142

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).

abstract-spacecraft

BananaCats is a category theory study tool.

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).