Alternatives and similar repositories for notate-jupyter

Users that are interested in notate-jupyter are comparing it to the libraries listed below

• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆56Updated 6 years ago
• zxcalc / sample-projects
  Sample projects for Quantomatic
  ☆12Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 7 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated this week
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆23Updated last week
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆93Updated 2 months ago
• embray / gappy
  Python interface to GAP
  ☆18Updated last year
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆34Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 3 years ago
• fredhohman / awesome-mathematical-notation-design
  List of links of techniques to help enhance mathematical notation
  ☆191Updated last year
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆32Updated 3 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 3 weeks ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 8 months ago
• WolframResearch / Chatbook
  Wolfram Notebooks + LLMs
  ☆102Updated 2 weeks ago
• taliesinb / MathTools
  MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…
  ☆19Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆46Updated 7 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆400Updated last week
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆39Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆136Updated this week
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated last week
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated 2 weeks ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆24Updated 2 months ago