Symbolic math for Pandas

A frontend for transitions state machines

Dark magics about variable names in python

SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua

ScxmlEditor - powerful tool for creating, editing and debugging scxml files

Python Finite State Machines made easy.

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.

Python talking to the Lean theorem prover

Python bindings for the Coq interactive proof assistant

This is a breadcrumb navigation control that is completely automatic and uses the Navigation stack and page titles to generate the breadcrumbs. It's also 100% accessible by default..

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

GUI-based Python code generator for data science, extension to Jupyter Lab, Jupyter Notebook and Google Colab.

Parse LaTeX math expressions

A Qt QTextEdit wrapper implementing a basic rich-text editor.

Fast fuzzy regex matcher: specify max edit distance to find approximate matches. FuzzyMatcher is now included in RE/flex.

Various utilities regarding Levenshtein transducers. (C++)

Advanced Docking System for Qt

Quickly download and install DevCon without downloading the entire Windows Driver Kit

ENLYZE PortSniffer - Monitor the traffic of arbitrary serial or parallel ports

A Parsing Expression Grammar (PEG) module, using the D programming language.

A database app for ring theory

Job portal application using Django

A simple arrow Widget for Kivy

BananaCats is a category theory study tool.

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

Bootstrap 5 for Django

Bootstrap 5 forms for Django

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