muxator

the blessed package to manage your versions by scm tags

Day-of-the-Year (DotY) puzzle solver. Solves the DotY board puzzle for a given date by finding valid placements for all 10 pieces of the puzzle, so to leave only the target date visible (month, day number, and weekday). By default, solves for today's date, but can be asked to solve for any date.

Tutorials and courses for Z3

Another Python SQLite wrapper