My Projects

A collection of my projects and write-ups showcasing my skills and interests in software development and cybersecurity.

The Catch 2022 writeups

The Catch 2022 writeups

The Catch is a CTF competition organized by the CESNET.

Crossword generator

Crossword generator

Python CLI tool to generate crosswords as HTML and PDF, supports custom dictionaries.

Killer Sudoku SAT solver

Killer Sudoku SAT solver

SAT solving killer sudoku.