mathics / MathicsLinks
This repository is for archival. Please see https://github.com/Mathics3/mathics-core
☆2,070Updated 3 years ago
Alternatives and similar repositories for Mathics
Users that are interested in Mathics are comparing it to the libraries listed below
Sorting:
- 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
- A SymPy version of WolframAlpha.☆700Updated last year
- CoCalc: Collaborative Calculation in the Cloud☆1,255Updated this week
- A new home for asciimathml☆979Updated 5 months ago
- Detexify Backend written in Haskell☆915Updated 8 years ago
- 2D & 3D TeX-Aware Vector Graphics Language☆638Updated this week
- ☆343Updated 7 years ago
- A textbook on informal homotopy type theory☆2,113Updated 2 months ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆918Updated this week
- An open-source, customizable intermediate logic textbook☆1,225Updated this week
- Latex Symbol Classifier Web Frontend☆835Updated 2 years ago
- Scripts for Latex to HTML5 conversion☆717Updated 2 years ago
- A simple visual editor for creating commutative diagrams.☆1,950Updated 5 years ago
- Lean Theorem Prover☆2,152Updated 2 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆624Updated 4 years ago
- LaTeX Math for Markdown inside of Visual Studio Code.☆765Updated 3 years ago
- Wolfram Language kernel for Jupyter notebooks☆1,120Updated last year
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- Python library for arbitrary-precision floating-point arithmetic☆1,057Updated 2 weeks ago
- MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"☆1,268Updated 2 weeks ago
- Prototype smart text editor☆1,062Updated 7 months ago
- Geometric Algebra for Python☆835Updated 3 weeks ago
- Starless is a CPU black hole raytracer in numpy suitable for both informative diagrams and decent wallpaper material.☆703Updated last year
- The SILE Typesetter — Simon’s Improved Layout Engine☆1,723Updated this week
- A math-aware search engine.☆348Updated 2 years ago
- MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook☆383Updated last year
- Collaborative markdown with math☆419Updated 2 years ago
- The probability and statistics cookbook☆2,289Updated 2 years ago
- Optimize floating-point expressions for accuracy☆827Updated this week
- Handwritten math expression parser☆692Updated 5 years ago