Alternatives and similar repositories for Mathics

Users that are interested in Mathics are comparing it to the libraries listed below

• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,265Updated this week
• sagemath / sage-archive-2023-02-01
  This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…
  ☆1,999Updated 2 years ago
• asciimath / asciimathml
  A new home for asciimathml
  ☆995Updated this week
• Mathics3 / mathics-core
  An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…
  ☆1,147Updated last week
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆703Updated last year
• goessner / mdmath
  LaTeX Math for Markdown inside of Visual Studio Code.
  ☆771Updated 3 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆918Updated 9 years ago
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆655Updated this week
• smarr / latex-to-html5
  Scripts for Latex to HTML5 conversion
  ☆716Updated 2 years ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,076Updated 3 weeks ago
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,956Updated 5 years ago
• cben / mathdown
  Collaborative markdown with math
  ☆420Updated 2 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆838Updated 3 years ago
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,740Updated 3 weeks ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆935Updated this week
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆626Updated 4 years ago
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆930Updated 2 months ago
• falvaro / seshat
  Handwritten math expression parser
  ☆693Updated 5 years ago
• jemmybutton / byrne-euclid
  MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
  ☆1,291Updated last month
• leanprover / lean3
  Lean Theorem Prover
  ☆2,155Updated 2 years ago
• pygae / clifford
  Geometric Algebra for Python
  ☆843Updated 3 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆351Updated 2 years ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,133Updated 2 years ago
• herbie-fp / herbie
  Optimize floating-point expressions for accuracy
  ☆835Updated last week
• antononcube / MathematicaForPrediction
  Mathematica implementations of machine learning algorithms used for prediction and personalization.
  ☆371Updated last month
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,247Updated 2 months ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆370Updated last week
• mapmeld / fortran-machine
  Finally a Fortran MVC web platform
  ☆812Updated 4 years ago
• ergenekonyigit / Numerical-Analysis-Examples
  Numerical Analysis Implementations in Various Languages
  ☆393Updated 3 years ago
• enkimute / ganja.js
  Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
  ☆1,586Updated 2 years ago