GitHub repository: tkwa/Sledgehammer
Primary language: Mathematica
Description: A code-golf language written in Mathematica