This is the home for my solutions to the 2023 Advent of Code challenge.
They are mainly written in Zote which is my own scripting language with a strong emphasis on pipes. Zote compiles to stack-based bytecode similarly as Python, but is not that optimized, making it around 3x slower than Python. I only had to switch to Python once when I needed the Z3 solver.
