GitHub repository: mathlamp/MathLamp
Primary language: Python
Description: A functional programming language focused on math