Because Mathics3 is compatible with the Wolfram-Language kernel within the confines of the Python ecosystem, it is a powerful functional programming language, driven by pattern matching and rule application.
Primitive types include rationals, complex numbers, and arbitrary-precision numbers (courtesy of mpmath). Other primitive types, such as images or graphs, or NLP, come from the various Python libraries that Mathics3 uses.
Outside of the “core” Mathics3 kernel (which has only a primitive command-line interface), in separate GitHub projects, as add-ons, there are:
In the future, we might provide better interaction with other Open-source projects like SageMath and Open-source tools. For example, we might be able someday to read and write Jupyter notebooks, translate into pure SymPy and Mathics3, or translate between SageMath object and Mathics3 objects more seamlessly.
A couple of the notable Mathematica packages that work on Mathics3 are Combinatorica ,and Rubi.