enjoysmath

BootstrapStudioToDjango

Convert a bootstrap studio file in a django (Jinja like) template.

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

abstract-spacecraft

BananaCats is a category theory study tool.

DiagramChasingGames

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

MathDOPE

MathDOPE_

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

quiver-bee

A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.

ArrowBee__

Commutative diagrams (TODO)

CommutativeDesigner

Description (TODO)

DiagramChaser

django-job-portal

Job portal application using Django

DotNetMauiCyclesInLayoutBug

An MWE for the .NET MAUI issues forum

latex2sympy

Parse LaTeX math expressions

ArrowCatcher

A hard-coded assistive and automated diagram chaser for many of the jewels (theorems) of Homological Algebra.

D--

D-- is a tool 🛠 for a round-trip ✈🌍 coding 👨‍💻 environment 🌵🌴 never before seen 🙈.

DiagramChaserPro

DLangOOPTypeSystem

OOP Type System parsed using Pegged library.

lean-client-python

Python talking to the Lean theorem prover

MathDatabase

neomodel

An Object Graph Mapper (OGM) for the Neo4j graph database.

OrangeMetaTrader5Widgets

Widgets to for example bring in live data from MetaTrader5, into an Orange canvas as a widget.

panda3d

Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU

pierce-impl-exercise1

First implementation exercise from Benjamin Pierce's "Types and Programming Languages" book, converted from OCaml over to the D programming language.

pybacktest

Vectorized backtesting framework in Python / pandas, designed to make your backtesting easier — compact, simple and fast

pycoq

Python bindings for the Coq interactive proof assistant

QtCppBuilder

An application that lets you build up other applications within the actual application itself. The user can then keep onboard this editability or disable it in their exported code. Geared toward Qt/C++ & Desktop Widgets-based applications for now.

qtpandas

Qt Meets Pandas

RingApp

A database app for ring theory