What does Mathics3 offer?

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. 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:

History
What is missing?