mathics / Mathics

Related projects: ⓘ

• 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,014Updated last year
• davidedc / Algebrite
  Computer Algebra System in Javascript (Typescript)
  ☆955Updated last year
• Mathics3 / mathics-core
  An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbo…
  ☆756Updated this week
• yishn / tikzcd-editor
  A simple visual editor for creating commutative diagrams.
  ☆1,879Updated 3 years ago
• sagemathinc / cocalc
  CoCalc: Collaborative Calculation in the Cloud
  ☆1,157Updated this week
• asciimath / asciimathml
  A new home for asciimathml
  ☆958Updated last year
• sympy / sympy_gamma
  A SymPy version of WolframAlpha.
  ☆666Updated 5 months ago
• smarr / latex-to-html5
  Scripts for Latex to HTML5 conversion
  ☆724Updated last year
• unconed / MathBox.js
  MathBox is a (work in progress) library for making presentation-quality math diagrams in WebGL.
  ☆1,941Updated last year
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆2,397Updated last month
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆800Updated this week
• vectorgraphics / asymptote
  2D & 3D TeX-Aware Vector Graphics Language
  ☆548Updated this week
• symengine / symengine
  SymEngine is a fast symbolic manipulation library, written in C++
  ☆1,141Updated this week
• sharkdp / insect
  High precision scientific calculator with support for physical units
  ☆3,170Updated 6 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,147Updated 11 months ago
• WolframResearch / WolframLanguageForJupyter
  Wolfram Language kernel for Jupyter notebooks
  ☆1,028Updated 8 months ago
• JuliaLang / IJulia.jl
  Julia kernel for Jupyter
  ☆2,783Updated 2 months ago
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,846Updated 3 years ago
• gpoore / pythontex
  A LaTeX package that executes Python and other code in LaTeX documents, and includes the output
  ☆873Updated 6 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,045Updated 3 weeks ago
• google / mathsteps
  Step by step math solutions for everyone
  ☆2,118Updated last year
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆953Updated this week
• adamyedidia / parsimony
  ☆332Updated 6 years ago
• herbie-fp / herbie
  Optimize floating-point expressions for accuracy
  ☆762Updated this week
• sile-typesetter / sile
  The SILE Typesetter — Simon’s Improved Layout Engine
  ☆1,633Updated this week
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,033Updated last year
• tectonic-typesetting / tectonic
  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
  ☆3,913Updated last month
• vicapow / explained-visually
  ☆877Updated last year
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆619Updated 3 years ago
• penrose / penrose
  Create beautiful diagrams just by typing notation in plain text.
  ☆6,778Updated last week