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: