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,249Updated this week
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• davidedc / Algebrite
  Computer Algebra System in Javascript (Typescript)
  ☆989Updated 2 years ago
• goessner / mdmath
  LaTeX Math for Markdown inside of Visual Studio Code.
  ☆762Updated 3 years ago
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆700Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆835Updated 2 years ago
• 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,005Updated 2 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,120Updated last year
• smarr / latex-to-html5
  Scripts for Latex to HTML5 conversion
  ☆717Updated 2 years ago
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆913Updated last week
• antononcube / MathematicaForPrediction
  Mathematica implementations of machine learning algorithms used for prediction and personalization.
  ☆364Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆633Updated 2 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated last week
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,950Updated 4 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated 2 years ago
• pseudo-lang / pseudo
  transpile algorithms/libs to idiomatic JS, Go, C#, Ruby
  ☆687Updated 4 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated this week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,218Updated 3 weeks ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• rantonels / starless
  Starless is a CPU black hole raytracer in numpy suitable for both informative diagrams and decent wallpaper material.
  ☆703Updated last year
• ergenekonyigit / Numerical-Analysis-Examples
  Numerical Analysis Implementations in Various Languages
  ☆392Updated 2 years ago
• vicapow / explained-visually
  ☆879Updated 2 years ago
• gitless-vcs / gitless
  A simple version control system built on top of Git
  ☆1,945Updated 2 years ago
• substance / texture
  A visual editor for research.
  ☆1,008Updated last month
• sharkdp / insect
  High precision scientific calculator with support for physical units
  ☆3,170Updated 8 months ago
• jemmybutton / byrne-euclid
  MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
  ☆1,252Updated last month
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,719Updated 3 weeks ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,894Updated 4 years ago