Projects

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.

Type system Prototype Polymorphism Intesection types Occurence typing OCaml

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

GBA Pokemon Glitch ACE OCaml

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

GBA ROM hacking Level editor Kururin C#

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

PC Bot VVVVVV Python Julia

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

GBA TAS Tool Assisted Speedrun Kururin Bot C#