Mathics is implementation of Mathematica (actually it is now called Wolfram language) using sympy, ply, and django.
It also provides jupyter kernel.
The original author was hired by Wolfram, but the project still lives on!
Maxima is older than Mathematica and written in LISP. One of its contributors has written MockMMA to implement Mathematica in LISP: