coconut — расширение для Python, добавляющее разный синтаксис из функциональных языков: пайплайны, краткая запись лямбд, инфиксная нотация для функций, pattern matching, хвостовая рекурсия. Код просто транслируется в обычный Python код, так что на нём вполне можно писать библиотеки для питона.
pyprover — библиотека для доказательства теорем, написанная на coconout. Не то, чтобы я понимал, что там происходит, что-то про logic resolution. Если пойму, сделаю пост. Просто как пример, что на этом маргинальном языке есть довольно популярные маргинальные библиотеки. Have fun.