Welcome to my GitHub page. Since I need to keep order, I'm using GitHub to collaborate with projects or send issues to them. My public projects are on GitLab. That's where the following links point to.
-
Discord bot: A Discord bot in Python that I develop and host for entertainment purposes.
-
Einstein's riddle in Z3: A solution for Einstein's riddle using the Z3 logic solver.
-
UEFI Flappy Bird Mirror: A mirror of a bare-metal UEFI game that works like Flappy Bird, along with some convenience virtual machine files.
-
MS-DOS viruses: A pack of traditional MS-DOS viruses I found somewhere, for entertainment purposes on a virtual machine.