I am the author of Sledgehammer.
Other golfing languages I have used: Jelly, Pyth, Dyalog APL, TI-BASIC
Non-golfing languages: Python, Java, C++, Mathematica
My best code-golf answers: