[taolson]

[edit to add]: There are also hundreds of small example programs of using Miranda2 to solve Advent of Code puzzles, here:

https://github.com/taolson/advent-of-code

Advent of Code Puzzle Descriptions can be found here:

https://adventofcode.com/

While they don't have the puzzle-supplied data sets included, they can be used to see how various solutions are written in Miranda2.