A collection of professional, academic and personal projects.

A prototype in OCaml for my research about typing dynamic languages with parametric polymorphism and intersection types.

A generator of codes for achieving Arbitrary Code Execution in some Pokemon games.

A level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.

Two different bots (DQN vs search-based) that play the super-gravitron of the game VVVVVV.

A Tool Assisted Speedrun (TAS) full of glitches, for the GBA game Kuru Kuru Kururin.