PBDoom
PBDoom is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.
Hi! My name is Ilgiz.
I am a PhD student in Software Engineering at Constructor Institute of Technology, Schaffhausen, Switzerland.
I do research in Software Verification. I work on AutoProof and other tools using formal methods for the Eiffel programming language.
New blog posts
-
-
EiffelStudio Assertions Setting
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
-
Optimizing Heroku Postgres for the Free Tier
How to optimize a relational database schema to fit Heroku Postgres free tier limitations with a real-world example of SIBrowser.
New projects
-
PBDoom
PBDoom is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.