Alternatives and similar repositories for Mathics

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

• davidedc / Algebrite
  Computer Algebra System in Javascript (Typescript)
  ☆982Updated 2 years ago
• asciimath / asciimathml
  A new home for asciimathml
  ☆974Updated 2 months ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,225Updated this week
• goessner / mdmath
  LaTeX Math for Markdown inside of Visual Studio Code.
  ☆762Updated 2 years ago
• 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,111Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆613Updated 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…
  ☆2,007Updated 2 years ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆694Updated last year
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,941Updated 4 years ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,108Updated last year
• smarr / latex-to-html5
  Scripts for Latex to HTML5 conversion
  ☆718Updated last year
• cben / mathdown
  Collaborative markdown with math
  ☆420Updated last year
• google / mathsteps
  Step by step math solutions for everyone
  ☆2,139Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆910Updated 8 years ago
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,263Updated this week
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• parpalak / upmath.me
  Markdown and LaTeX online editor - create text for web with equations and diagrams
  ☆359Updated last week
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 5 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• substance / texture
  A visual editor for research.
  ☆1,006Updated last month
• webyrd / Barliman
  Prototype smart text editor
  ☆1,063Updated 4 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,181Updated 2 weeks ago
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,707Updated this week
• herbie-fp / herbie
  Optimize floating-point expressions for accuracy
  ☆811Updated this week
• falvaro / seshat
  Handwritten math expression parser
  ☆688Updated 4 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,872Updated this week
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆909Updated 3 months ago
• sharkdp / insect
  High precision scientific calculator with support for physical units
  ☆3,179Updated 5 months ago
• pseudo-lang / pseudo
  transpile algorithms/libs to idiomatic JS, Go, C#, Ruby
  ☆685Updated 4 years ago