Simple, elegant, Pythonic functional programming.
Resolution theorem proving for predicate logic in pure Python.
Black box hyperparameter optimization made easy.