A discord bot that provides solutions to LeetCode problems in multiple languages

A community-maintained Python framework for creating mathematical animations.