Advent of Code 2025 🎄

In the midst of tachyon beams, devilish Shiba Inus and the usual holiday stress, I somehow managed to get my Koka solution running.

Setup

• Koka 3.2.2 (I used the C backend without optimizations)
• Community std lib@d987e13 → ./install.sh

Run

Out of the box, you can do a full run against the example inputs using:

koka -e ./aoc25.kk

To use real inputs, insert yours in ./input/day{XX}/{input,answers}.txt and set val use-examples = False in ./aoc25.kk.

For individual days, just run the respective ./day{XX}.kk:

pub fun main()
  with day(2)
  // with example-input

  // part-one()
  part-two()