awesome-math-olympiad. 🥇 A curated list of competitive math resources.
competitive. C++
barhana. Logic derivation engine in Python
