Mickaël Laurent

PokeGlitzer. Pokemon save editor (gen 3) for glitchers

EmeraldACE_web. Repository storing predefined codes for the Pokemon Gen3 ACE code generator

sstt. Simple Set-Theoretic Types library

CodeGenerator. ACE code generator for gen3 Pokemon games.

Prototype. Prototype of set-theoretic type system, with polymorphism and type inference.

KuruTools. Level editor for the GBA games Kuru Kuru Kururin and Kururin Paradise.

MLsem. Type checker for dynamic languages, based on set-theoretic types

KururinTAS. Several tools for TASing KuruKuruKururin

EmeraldACE_tuto.

CodeGeneratorOffline. Python

VVVVVV-AI. Python

rstt. OCaml

ExtendedStory. Causal analysis for the Kappa language.

OccurenceTyping. OCaml

kappa-stats. A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.