Mathics: A free, open-source alternative to Mathematica

• IMathics

  2 20 10.0 Python

  Jupyter Kernel for Mathics

  

• microMathematics

  10 525 0.0 Java

  microMathematics Plus - Extended visual calculator

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• mathlib

  36 1,643 8.8 Lean

  Lean 3's obsolete mathematical components library: please use mathlib4

  

Check out https://github.com/leanprover-community/mathlib . Sure, it's not really a CAS but CAS algorithms could be added to it where applicable, since Lean is a constructive system and can thus express formally verified computations.

• minecraft-pi-reborn

  5 192 9.1 C++

  Official Mirror Of @TheBrokenRail's Minecraft: Pi Edition: Reborn.

  

And the free version has a neat open source fork that adds features: https://github.com/MCPI-Revival/minecraft-pi-reborn

• mathematica

  1 25 10.0 Lean

  Lean-independent implementation of the MM-Lean link

The existence of https://github.com/robertylewis/mathematica makes me think it's more likely to go in the other direction, where you treat powerful tools as untrusted oracles which produce certificates that Lean then verifies.

• mathquill

  8 2,574 5.9 TypeScript

  Easily type math in your webapp

  

Desmos has open source library called MathQuill, which converts typed chars to mathematical representation similar to Mathematica. Sure there is some "programming statements" like (La)TeX like syntax there, but so does Mathematica too.

[1]: http://mathquill.com/

• WolframLanguageForJupyter

  7 981 0.0 Mathematica

  Wolfram Language kernel for Jupyter notebooks

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• jupyter

  13 14,735 7.2 Python

  Jupyter metapackage for installation, docs and chat

  

There are Jupyter kernels for Python, Mathics, Wolfram, R, Octave, Matlab, xeus-cling, allthekernels (the polyglot kernel). https://github.com/jupyter/jupyter/wiki/Jupyter-kernels

• best-of-jupyter

  3 842 7.9

  🏆 A ranked list of awesome Jupyter Notebook, Hub and Lab projects (extensions, kernels, tools). Updated weekly.

  

Suggest a related project