enjoysmath

enjoysmath's Stars

• githubuser0xFFFF/Qt-Advanced-Docking-System

  Advanced Docking System for Qt

  Language:C++1.9k70462576

• fgmacedo/python-statemachine

  Python Finite State Machines made easy.

  Language:Python9471910688

• visualpython/visualpython

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

  Language:JavaScript8792072116

• manjurulhoque/django-job-portal

  Job portal application using Django

  Language:Python5772228245

• dlang-community/Pegged

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

  Language:D5344021966

• zostera/django-bootstrap5

  Bootstrap 5 for Django

  Language:Python4111510187

• pwwang/python-varname

  Dark magics about variable names in python

  Language:Python32656124

• Drawbackz/DevCon-Installer

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

  Language:C#1517722

• OrangeX4/latex2sympy

  Parse LaTeX math expressions

  Language:Python1256026

• IeuanWalker/Maui.Breadcrumb

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

  Language:C#120435

• Anchakor/MRichTextEditor

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

  Language:C++11811243

• tklab-tud/uscxml

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

  Language:C++1071511754

• alexzhornyak/ScxmlEditor-Tutorial

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

  Language:C++74511313

• pytransitions/transitions-gui

  A frontend for transitions state machines

  Language:Python689167

• MarisaKirisame/first_order_logic_prover

  Language:C++5811439

• enlyze/PortSniffer

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

  Language:C5510710

• ejgallego/pycoq

  Python bindings for the Coq interactive proof assistant

  Language:OCaml514274

• leanprover-community/lean-client-python

  Python talking to the Lean theorem prover

  Language:Python417136

• Genivia/FuzzyMatcher

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

  Language:C++36506

• enjoysmath/BootstrapStudioToDjango

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

  Language:Python24154

• rschwiebert/RingApp

  A database app for ring theory

  Language:Python214304

• AbcSxyZ/bootstrap-studio-to-django-template

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

  Language:Python184215

• jnmclarty/sympa

  Symbolic math for Pandas

  Language:Python6213

• universal-automata/liblevenshtein-cpp

  Various utilities regarding Levenshtein transducers. (C++)

  Language:C++6311

• kamathln/kivy-arrow

  A simple arrow Widget for Kivy

  Language:Python5314

• enjoysmath/abstract-spacecraft

  BananaCats is a category theory study tool.

  Language:Python4111

• django-helpdesk/django-bootstrap5-form

  Bootstrap 5 forms for Django

  Language:Python3601

• enjoysmath/Marked-KaTeX-example-cpp

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

  Language:C++3102

• enjoysmath/MathDOPE

  Language:JavaScript2110

• enjoysmath/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.

  Language:JavaScript2170